| |
Abel, Andreas
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Elaborating Dependent (Co)pattern ..."
Elaborating Dependent (Co)pattern Matching
Jesper Cockx and Andreas Abel
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
 Publisher's Version
|
| |
Acar, Umut A. |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Competitive Parallelism: Getting ..."
Competitive Parallelism: Getting Your Priorities Right
Stefan K. Muller, Umut A. Acar, and Robert Harper
(Carnegie Mellon University, USA; Inria, France)
Publisher's Version
Artifacts Functional
|
| |
Accattoli, Beniamino |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Tight Typings and Split Bounds ..."
Tight Typings and Split Bounds
Beniamino Accattoli, Stéphane Graham-Lengrand, and Delia Kesner
(Inria, France; École Polytechnique, France; CNRS, France; University of Paris Diderot, France)
Publisher's Version
|
| |
Ahmed, Amal |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Graduality from Embedding-Projection ..."
Graduality from Embedding-Projection Pairs
Max S. New and Amal Ahmed
(Northeastern University, USA; Inria, France)
Publisher's Version
|
| |
Aldrich, Jonathan |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Reasonably Programmable Literal ..."
Reasonably Programmable Literal Notation
Cyrus Omar and Jonathan Aldrich
(University of Chicago, USA; Carnegie Mellon University, USA)
Publisher's Version
 Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Allais, Guillaume |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "A Type and Scope Safe Universe ..."
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, and James McKinna
(Radboud University Nijmegen, Netherlands; University of Strathclyde, UK; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Almeida, José Bacelar |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Teaching How to Program using ..."
Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, and José Proença
(University of Minho, Portugal; INESC TEC, Portugal)
Publisher's Version
|
| |
Amin, Nada |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Versatile Event Correlation ..."
Versatile Event Correlation with Algebraic Effects
Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini
(TU Darmstadt, Germany; University of Cambridge, UK; Delft University of Technology, Netherlands; University of Lugano, Switzerland; Purdue University, USA)
Publisher's Version
|
| |
Annenkov, Danil |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Static Interpretation of Higher-Order ..."
Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large
Martin Elsman, Troels Henriksen, Danil Annenkov, and Cosmin E. Oancea
(University of Copenhagen, Denmark; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Asai, Kenichi |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Handling Delimited Continuations ..."
Handling Delimited Continuations with Dependent Types
Youyou Cong and Kenichi Asai
(Ochanomizu University, Japan)
Publisher's Version
|
| |
Atkey, Robert |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "A Type and Scope Safe Universe ..."
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, and James McKinna
(Radboud University Nijmegen, Netherlands; University of Strathclyde, UK; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Blau, Taylor
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Functional Programming for ..."
Functional Programming for Compiling and Decompiling Computer-Aided Design
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Boisseau, Guillaume |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "What You Needa Know about ..."
What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl)
Guillaume Boisseau and Jeremy Gibbons
(University of Oxford, UK)
Publisher's Version
|
| |
Bour, Frédéric |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Merlin: A Language Server ..."
Merlin: A Language Server for OCaml (Experience Report)
Frédéric Bour, Thomas Refis, and Gabriel Scherer
(Facebook, France; Jane Street, UK; Inria, France)
Publisher's Version
|
| |
Bračevac, Oliver |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Versatile Event Correlation ..."
Versatile Event Correlation with Algebraic Effects
Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini
(TU Darmstadt, Germany; University of Cambridge, UK; Delft University of Technology, Netherlands; University of Lugano, Switzerland; Purdue University, USA)
Publisher's Version
|
| |
Breitner, Joachim |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Ready, Set, Verify! Applying ..."
Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, and Stephanie Weirich
(University of Pennsylvania, USA; UNSW, Australia; BAE Systems, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Campora, John Peter
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Casts and Costs: Harmonizing ..."
Casts and Costs: Harmonizing Safety and Performance in Gradual Typing
John Peter Campora, Sheng Chen, and Eric Walkingshaw
(University of Louisiana at Lafayette, USA; Oregon State University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Chapman, James |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "A Type and Scope Safe Universe ..."
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, and James McKinna
(Radboud University Nijmegen, Netherlands; University of Strathclyde, UK; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Charguéraud, Arthur |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "MoSeL: A General, Extensible ..."
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, and Derek Dreyer
(Delft University of Technology, Netherlands; LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; MPI-SWS, Germany; Carnegie Mellon University, USA; imec-Distrinet, Belgium; KU Leuven, Belgium; Inria, France; University of Strasbourg, France; ICube, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Chen, Sheng |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Casts and Costs: Harmonizing ..."
Casts and Costs: Harmonizing Safety and Performance in Gradual Typing
John Peter Campora, Sheng Chen, and Eric Walkingshaw
(University of Louisiana at Lafayette, USA; Oregon State University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Cheney, James |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Incremental Relational Lenses ..."
Incremental Relational Lenses
Rudi Horn, Roly Perera, and James Cheney
(University of Edinburgh, UK; University of Glasgow, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Chlipala, Adam |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Prototyping a Functional Language ..."
Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of λProlog/Makam
Antonis Stampoulis and Adam Chlipala
(Originate, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Cobb, Andrew |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Contextual Equivalence for ..."
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, and Andrew Cobb
(Northeastern University, USA; Czech Technical University, Czechia; BAE Systems, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Cockx, Jesper |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Elaborating Dependent (Co)pattern ..."
Elaborating Dependent (Co)pattern Matching
Jesper Cockx and Andreas Abel
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Publisher's Version
|
| |
Cong, Youyou |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Handling Delimited Continuations ..."
Handling Delimited Continuations with Dependent Types
Youyou Cong and Kenichi Asai
(Ochanomizu University, Japan)
Publisher's Version
|
| |
Culpepper, Ryan |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Contextual Equivalence for ..."
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, and Andrew Cobb
(Northeastern University, USA; Czech Technical University, Czechia; BAE Systems, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Cunha, Alcino |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Teaching How to Program using ..."
Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, and José Proença
(University of Minho, Portugal; INESC TEC, Portugal)
Publisher's Version
|
| |
Das, Ankush
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Parallel Complexity Analysis ..."
Parallel Complexity Analysis with Temporal Session Types
Ankush Das, Jan Hoffmann, and Frank Pfenning
(Carnegie Mellon University, USA)
Publisher's Version
|
| |
Decker, James |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Refunctionalization of Abstract ..."
Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl)
Guannan Wei, James Decker, and Tiark Rompf
(Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Diehl, Larry |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Generic Zero-Cost Reuse for ..."
Generic Zero-Cost Reuse for Dependent Types
Larry Diehl, Denis Firsov, and Aaron Stump
(University of Iowa, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Dreyer, Derek |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "MoSeL: A General, Extensible ..."
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, and Derek Dreyer
(Delft University of Technology, Netherlands; LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; MPI-SWS, Germany; Carnegie Mellon University, USA; imec-Distrinet, Belgium; KU Leuven, Belgium; Inria, France; University of Strasbourg, France; ICube, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Mtac2: Typed Tactics for Backward ..."
Mtac2: Typed Tactics for Backward Reasoning in Coq
Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, and Derek Dreyer
(MPI-SWS, Germany; Universidad Nacional de Córdoba, Argentina; CONICET, Argentina; Delft University of Technology, Netherlands; IRIF, France; CNRS, France; University of Paris Diderot, France; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Elliott, Conal
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "The Simple Essence of Automatic ..."
The Simple Essence of Automatic Differentiation
Conal Elliott
(Target, USA)
Publisher's Version
|
| |
Elsman, Martin |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Static Interpretation of Higher-Order ..."
Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large
Martin Elsman, Troels Henriksen, Danil Annenkov, and Cosmin E. Oancea
(University of Copenhagen, Denmark; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Erdweg, Sebastian |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Versatile Event Correlation ..."
Versatile Event Correlation with Algebraic Effects
Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini
(TU Darmstadt, Germany; University of Cambridge, UK; Delft University of Technology, Netherlands; University of Lugano, Switzerland; Purdue University, USA)
Publisher's Version
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Compositional Soundness Proofs ..."
Compositional Soundness Proofs of Abstract Interpreters
Sven Keidel, Casper Bach Poulsen, and Sebastian Erdweg
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Eugster, Patrick |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Versatile Event Correlation ..."
Versatile Event Correlation with Algebraic Effects
Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini
(TU Darmstadt, Germany; University of Cambridge, UK; Delft University of Technology, Netherlands; University of Lugano, Switzerland; Purdue University, USA)
Publisher's Version
|
| |
Felleisen, Matthias
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "A Spectrum of Type Soundness ..."
A Spectrum of Type Soundness and Performance
Ben Greenman and Matthias Felleisen
(Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Firsov, Denis |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Generic Zero-Cost Reuse for ..."
Generic Zero-Cost Reuse for Dependent Types
Larry Diehl, Denis Firsov, and Aaron Stump
(University of Iowa, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Fisher, Kathleen |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Synthesizing Quotient Lenses ..."
Synthesizing Quotient Lenses
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic
(University of Pennsylvania, USA; Princeton University, USA; Tufts University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Foner, Kenneth |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "What’s the Difference? A ..."
What’s the Difference? A Functional Pearl on Subtracting Bijections
Brent A. Yorgey and Kenneth Foner
(Hendrix College, USA; University of Pennsylvania, USA)
Publisher's Version
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Keep Your Laziness in Check ..."
Keep Your Laziness in Check
Kenneth Foner, Hengchu Zhang, and Leonidas Lampropoulos
(University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Ghahramani, Zoubin
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Functional Programming for ..."
Functional Programming for Modular Bayesian Inference
Adam Ścibior, Ohad Kammar, and Zoubin Ghahramani
(University of Cambridge, UK; MPI Tübingen, Germany; University of Oxford, UK; Uber AI Labs, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Giannakopoulos, Theophilos |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Contextual Equivalence for ..."
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, and Andrew Cobb
(Northeastern University, USA; Czech Technical University, Czechia; BAE Systems, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Gibbons, Jeremy |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "What You Needa Know about ..."
What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl)
Guillaume Boisseau and Jeremy Gibbons
(University of Oxford, UK)
Publisher's Version
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Relational Algebra by Way ..."
Relational Algebra by Way of Adjunctions
Jeremy Gibbons, Fritz Henglein, Ralf Hinze, and Nicolas Wu
(University of Oxford, UK; University of Copenhagen, Denmark; University of Kaiserslautern, Germany; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Graham-Lengrand, Stéphane |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Tight Typings and Split Bounds ..."
Tight Typings and Split Bounds
Beniamino Accattoli, Stéphane Graham-Lengrand, and Delia Kesner
(Inria, France; École Polytechnique, France; CNRS, France; University of Paris Diderot, France)
Publisher's Version
|
| |
Greenman, Ben |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "A Spectrum of Type Soundness ..."
A Spectrum of Type Soundness and Performance
Ben Greenman and Matthias Felleisen
(Northeastern University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Grossman, Dan |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Functional Programming for ..."
Functional Programming for Compiling and Decompiling Computer-Aided Design
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Hackett, Jennifer
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Parametric Polymorphism and ..."
Parametric Polymorphism and Operational Improvement
Jennifer Hackett and Graham Hutton
(University of Nottingham, UK)
Publisher's Version
|
| |
Harper, Robert |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Competitive Parallelism: Getting ..."
Competitive Parallelism: Getting Your Priorities Right
Stefan K. Muller, Umut A. Acar, and Robert Harper
(Carnegie Mellon University, USA; Inria, France)
Publisher's Version
Artifacts Functional
|
| |
Henglein, Fritz |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Relational Algebra by Way ..."
Relational Algebra by Way of Adjunctions
Jeremy Gibbons, Fritz Henglein, Ralf Hinze, and Nicolas Wu
(University of Oxford, UK; University of Copenhagen, Denmark; University of Kaiserslautern, Germany; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Henriksen, Troels |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Static Interpretation of Higher-Order ..."
Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large
Martin Elsman, Troels Henriksen, Danil Annenkov, and Cosmin E. Oancea
(University of Copenhagen, Denmark; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Hinze, Ralf |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Relational Algebra by Way ..."
Relational Algebra by Way of Adjunctions
Jeremy Gibbons, Fritz Henglein, Ralf Hinze, and Nicolas Wu
(University of Oxford, UK; University of Copenhagen, Denmark; University of Kaiserslautern, Germany; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Hirsch, Andrew K. |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Strict and Lazy Semantics ..."
Strict and Lazy Semantics for Effects: Layering Monads and Comonads
Andrew K. Hirsch and Ross Tate
(Cornell University, USA)
Publisher's Version
|
| |
Hoffmann, Jan |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Parallel Complexity Analysis ..."
Parallel Complexity Analysis with Temporal Session Types
Ankush Das, Jan Hoffmann, and Frank Pfenning
(Carnegie Mellon University, USA)
Publisher's Version
|
| |
Horn, Rudi |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Incremental Relational Lenses ..."
Incremental Relational Lenses
Rudi Horn, Roly Perera, and James Cheney
(University of Edinburgh, UK; University of Glasgow, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Hutton, Graham |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Parametric Polymorphism and ..."
Parametric Polymorphism and Operational Improvement
Jennifer Hackett and Graham Hutton
(University of Nottingham, UK)
Publisher's Version
|
| |
Jourdan, Jacques-Henri
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "MoSeL: A General, Extensible ..."
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, and Derek Dreyer
(Delft University of Technology, Netherlands; LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; MPI-SWS, Germany; Carnegie Mellon University, USA; imec-Distrinet, Belgium; KU Leuven, Belgium; Inria, France; University of Strasbourg, France; ICube, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Jung, Ralf |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "MoSeL: A General, Extensible ..."
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, and Derek Dreyer
(Delft University of Technology, Netherlands; LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; MPI-SWS, Germany; Carnegie Mellon University, USA; imec-Distrinet, Belgium; KU Leuven, Belgium; Inria, France; University of Strasbourg, France; ICube, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Kaiser, Jan-Oliver
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "MoSeL: A General, Extensible ..."
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, and Derek Dreyer
(Delft University of Technology, Netherlands; LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; MPI-SWS, Germany; Carnegie Mellon University, USA; imec-Distrinet, Belgium; KU Leuven, Belgium; Inria, France; University of Strasbourg, France; ICube, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Mtac2: Typed Tactics for Backward ..."
Mtac2: Typed Tactics for Backward Reasoning in Coq
Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, and Derek Dreyer
(MPI-SWS, Germany; Universidad Nacional de Córdoba, Argentina; CONICET, Argentina; Delft University of Technology, Netherlands; IRIF, France; CNRS, France; University of Paris Diderot, France; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Kammar, Ohad |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Partially-Static Data as Free ..."
Partially-Static Data as Free Extension of Algebras
Jeremy Yallop, Tamara von Glehn, and Ohad Kammar
(University of Cambridge, UK; University of Oxford, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Functional Programming for ..."
Functional Programming for Modular Bayesian Inference
Adam Ścibior, Ohad Kammar, and Zoubin Ghahramani
(University of Cambridge, UK; MPI Tübingen, Germany; University of Oxford, UK; Uber AI Labs, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Keidel, Sven |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Compositional Soundness Proofs ..."
Compositional Soundness Proofs of Abstract Interpreters
Sven Keidel, Casper Bach Poulsen, and Sebastian Erdweg
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Kesner, Delia |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Tight Typings and Split Bounds ..."
Tight Typings and Split Bounds
Beniamino Accattoli, Stéphane Graham-Lengrand, and Delia Kesner
(Inria, France; École Polytechnique, France; CNRS, France; University of Paris Diderot, France)
Publisher's Version
|
| |
Kiss, Csongor |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Generic Deriving of Generic ..."
Generic Deriving of Generic Traversals
Csongor Kiss, Matthew Pickering, and Nicolas Wu
(Imperial College London, UK; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Koppel, James |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Capturing the Future by Replaying ..."
Capturing the Future by Replaying the Past (Functional Pearl)
James Koppel, Gabriel Scherer, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA; Inria, France)
Publisher's Version
Artifacts Functional
|
| |
Krebbers, Robbert |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "MoSeL: A General, Extensible ..."
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, and Derek Dreyer
(Delft University of Technology, Netherlands; LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; MPI-SWS, Germany; Carnegie Mellon University, USA; imec-Distrinet, Belgium; KU Leuven, Belgium; Inria, France; University of Strasbourg, France; ICube, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Mtac2: Typed Tactics for Backward ..."
Mtac2: Typed Tactics for Backward Reasoning in Coq
Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, and Derek Dreyer
(MPI-SWS, Germany; Universidad Nacional de Córdoba, Argentina; CONICET, Argentina; Delft University of Technology, Netherlands; IRIF, France; CNRS, France; University of Paris Diderot, France; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Lampropoulos, Leonidas
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Keep Your Laziness in Check ..."
Keep Your Laziness in Check
Kenneth Foner, Hengchu Zhang, and Leonidas Lampropoulos
(University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Li, Yao |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Ready, Set, Verify! Applying ..."
Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, and Stephanie Weirich
(University of Pennsylvania, USA; UNSW, Australia; BAE Systems, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Macedo, Nuno
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Teaching How to Program using ..."
Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, and José Proença
(University of Minho, Portugal; INESC TEC, Portugal)
Publisher's Version
|
| |
Maina, Solomon |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Synthesizing Quotient Lenses ..."
Synthesizing Quotient Lenses
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic
(University of Pennsylvania, USA; Princeton University, USA; Tufts University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
McBride, Conor |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "A Type and Scope Safe Universe ..."
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, and James McKinna
(Radboud University Nijmegen, Netherlands; University of Strathclyde, UK; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
McKinna, James |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "A Type and Scope Safe Universe ..."
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, and James McKinna
(Radboud University Nijmegen, Netherlands; University of Strathclyde, UK; University of Edinburgh, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Mezini, Mira |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Versatile Event Correlation ..."
Versatile Event Correlation with Algebraic Effects
Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini
(TU Darmstadt, Germany; University of Cambridge, UK; Delft University of Technology, Netherlands; University of Lugano, Switzerland; Purdue University, USA)
Publisher's Version
|
| |
Miltner, Anders |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Synthesizing Quotient Lenses ..."
Synthesizing Quotient Lenses
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic
(University of Pennsylvania, USA; Princeton University, USA; Tufts University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Mima, Hisayuki |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Finitary Polymorphism for ..."
Finitary Polymorphism for Optimizing Type-Directed Compilation
Atsushi Ohori, Katsuhiro Ueno, and Hisayuki Mima
(Tohoku University, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Mitchell, Neil |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Build Systems à la Carte ..."
Build Systems à la Carte
Andrey Mokhov, Neil Mitchell, and Simon Peyton Jones
(Newcastle University, UK; Digital Asset, UK; Microsoft Research, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Mokhov, Andrey |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Build Systems à la Carte ..."
Build Systems à la Carte
Andrey Mokhov, Neil Mitchell, and Simon Peyton Jones
(Newcastle University, UK; Digital Asset, UK; Microsoft Research, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Muller, Stefan K. |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Competitive Parallelism: Getting ..."
Competitive Parallelism: Getting Your Priorities Right
Stefan K. Muller, Umut A. Acar, and Robert Harper
(Carnegie Mellon University, USA; Inria, France)
Publisher's Version
Artifacts Functional
|
| |
Nandi, Chandrakana
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Functional Programming for ..."
Functional Programming for Compiling and Decompiling Computer-Aided Design
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
New, Max S. |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Graduality from Embedding-Projection ..."
Graduality from Embedding-Projection Pairs
Max S. New and Amal Ahmed
(Northeastern University, USA; Inria, France)
Publisher's Version
|
| |
Oancea, Cosmin E.
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Static Interpretation of Higher-Order ..."
Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large
Martin Elsman, Troels Henriksen, Danil Annenkov, and Cosmin E. Oancea
(University of Copenhagen, Denmark; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Ohori, Atsushi |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Finitary Polymorphism for ..."
Finitary Polymorphism for Optimizing Type-Directed Compilation
Atsushi Ohori, Katsuhiro Ueno, and Hisayuki Mima
(Tohoku University, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Omar, Cyrus |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Reasonably Programmable Literal ..."
Reasonably Programmable Literal Notation
Cyrus Omar and Jonathan Aldrich
(University of Chicago, USA; Carnegie Mellon University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Pacheco, Hugo
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Teaching How to Program using ..."
Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, and José Proença
(University of Minho, Portugal; INESC TEC, Portugal)
Publisher's Version
|
| |
Panchekha, Pavel |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Functional Programming for ..."
Functional Programming for Compiling and Decompiling Computer-Aided Design
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Perera, Roly |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Incremental Relational Lenses ..."
Incremental Relational Lenses
Rudi Horn, Roly Perera, and James Cheney
(University of Edinburgh, UK; University of Glasgow, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Perez, Ivan |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Fault Tolerant Functional ..."
Fault Tolerant Functional Reactive Programming (Functional Pearl)
Ivan Perez
(National Institute of Aerospace, USA)
Publisher's Version
|
| |
Peyton Jones, Simon |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Build Systems à la Carte ..."
Build Systems à la Carte
Andrey Mokhov, Neil Mitchell, and Simon Peyton Jones
(Newcastle University, UK; Digital Asset, UK; Microsoft Research, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Pfenning, Frank |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Parallel Complexity Analysis ..."
Parallel Complexity Analysis with Temporal Session Types
Ankush Das, Jan Hoffmann, and Frank Pfenning
(Carnegie Mellon University, USA)
Publisher's Version
|
| |
Pickering, Matthew |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Generic Deriving of Generic ..."
Generic Deriving of Generic Traversals
Csongor Kiss, Matthew Pickering, and Nicolas Wu
(Imperial College London, UK; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Pierce, Benjamin C. |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Synthesizing Quotient Lenses ..."
Synthesizing Quotient Lenses
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic
(University of Pennsylvania, USA; Princeton University, USA; Tufts University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Poulsen, Casper Bach |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Compositional Soundness Proofs ..."
Compositional Soundness Proofs of Abstract Interpreters
Sven Keidel, Casper Bach Poulsen, and Sebastian Erdweg
(Delft University of Technology, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Proença, José |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Teaching How to Program using ..."
Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, and José Proença
(University of Minho, Portugal; INESC TEC, Portugal)
Publisher's Version
|
| |
Refis, Thomas
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Merlin: A Language Server ..."
Merlin: A Language Server for OCaml (Experience Report)
Frédéric Bour, Thomas Refis, and Gabriel Scherer
(Facebook, France; Jane Street, UK; Inria, France)
Publisher's Version
|
| |
Régis-Gianas, Yann |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Mtac2: Typed Tactics for Backward ..."
Mtac2: Typed Tactics for Backward Reasoning in Coq
Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, and Derek Dreyer
(MPI-SWS, Germany; Universidad Nacional de Córdoba, Argentina; CONICET, Argentina; Delft University of Technology, Netherlands; IRIF, France; CNRS, France; University of Paris Diderot, France; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Rizkallah, Christine |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Ready, Set, Verify! Applying ..."
Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, and Stephanie Weirich
(University of Pennsylvania, USA; UNSW, Australia; BAE Systems, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Rompf, Tiark |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Refunctionalization of Abstract ..."
Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl)
Guannan Wei, James Decker, and Tiark Rompf
(Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Salvaneschi, Guido
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Versatile Event Correlation ..."
Versatile Event Correlation with Algebraic Effects
Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini
(TU Darmstadt, Germany; University of Cambridge, UK; Delft University of Technology, Netherlands; University of Lugano, Switzerland; Purdue University, USA)
Publisher's Version
|
| |
Scherer, Gabriel |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Merlin: A Language Server ..."
Merlin: A Language Server for OCaml (Experience Report)
Frédéric Bour, Thomas Refis, and Gabriel Scherer
(Facebook, France; Jane Street, UK; Inria, France)
Publisher's Version
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Capturing the Future by Replaying ..."
Capturing the Future by Replaying the Past (Functional Pearl)
James Koppel, Gabriel Scherer, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA; Inria, France)
Publisher's Version
Artifacts Functional
|
| |
Ścibior, Adam |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Functional Programming for ..."
Functional Programming for Modular Bayesian Inference
Adam Ścibior, Ohad Kammar, and Zoubin Ghahramani
(University of Cambridge, UK; MPI Tübingen, Germany; University of Oxford, UK; Uber AI Labs, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Solar-Lezama, Armando |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Capturing the Future by Replaying ..."
Capturing the Future by Replaying the Past (Functional Pearl)
James Koppel, Gabriel Scherer, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA; Inria, France)
Publisher's Version
Artifacts Functional
|
| |
Sozeau, Matthieu |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Equivalences for Free: Univalent ..."
Equivalences for Free: Univalent Parametricity for Effective Transport
Nicolas Tabareau, Éric Tanter, and Matthieu Sozeau
(Inria, France; University of Chile, Chile; IRIF, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Spector-Zabusky, Antal |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Ready, Set, Verify! Applying ..."
Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, and Stephanie Weirich
(University of Pennsylvania, USA; UNSW, Australia; BAE Systems, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Stampoulis, Antonis |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Prototyping a Functional Language ..."
Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of λProlog/Makam
Antonis Stampoulis and Adam Chlipala
(Originate, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Stump, Aaron |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Generic Zero-Cost Reuse for ..."
Generic Zero-Cost Reuse for Dependent Types
Larry Diehl, Denis Firsov, and Aaron Stump
(University of Iowa, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Tabareau, Nicolas
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Equivalences for Free: Univalent ..."
Equivalences for Free: Univalent Parametricity for Effective Transport
Nicolas Tabareau, Éric Tanter, and Matthieu Sozeau
(Inria, France; University of Chile, Chile; IRIF, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Tanter, Éric |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Equivalences for Free: Univalent ..."
Equivalences for Free: Univalent Parametricity for Effective Transport
Nicolas Tabareau, Éric Tanter, and Matthieu Sozeau
(Inria, France; University of Chile, Chile; IRIF, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Tassarotti, Joseph |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "MoSeL: A General, Extensible ..."
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, and Derek Dreyer
(Delft University of Technology, Netherlands; LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; MPI-SWS, Germany; Carnegie Mellon University, USA; imec-Distrinet, Belgium; KU Leuven, Belgium; Inria, France; University of Strasbourg, France; ICube, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Tate, Ross |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Strict and Lazy Semantics ..."
Strict and Lazy Semantics for Effects: Layering Monads and Comonads
Andrew K. Hirsch and Ross Tate
(Cornell University, USA)
Publisher's Version
|
| |
Tatlock, Zachary |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Functional Programming for ..."
Functional Programming for Compiling and Decompiling Computer-Aided Design
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Timany, Amin |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "MoSeL: A General, Extensible ..."
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, and Derek Dreyer
(Delft University of Technology, Netherlands; LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; MPI-SWS, Germany; Carnegie Mellon University, USA; imec-Distrinet, Belgium; KU Leuven, Belgium; Inria, France; University of Strasbourg, France; ICube, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Ueno, Katsuhiro
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Finitary Polymorphism for ..."
Finitary Polymorphism for Optimizing Type-Directed Compilation
Atsushi Ohori, Katsuhiro Ueno, and Hisayuki Mima
(Tohoku University, Japan)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Von Glehn, Tamara
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Partially-Static Data as Free ..."
Partially-Static Data as Free Extension of Algebras
Jeremy Yallop, Tamara von Glehn, and Ohad Kammar
(University of Cambridge, UK; University of Oxford, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Walker, David
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Synthesizing Quotient Lenses ..."
Synthesizing Quotient Lenses
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic
(University of Pennsylvania, USA; Princeton University, USA; Tufts University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Walkingshaw, Eric |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Casts and Costs: Harmonizing ..."
Casts and Costs: Harmonizing Safety and Performance in Gradual Typing
John Peter Campora, Sheng Chen, and Eric Walkingshaw
(University of Louisiana at Lafayette, USA; Oregon State University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Wand, Mitchell |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Contextual Equivalence for ..."
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, and Andrew Cobb
(Northeastern University, USA; Czech Technical University, Czechia; BAE Systems, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Wei, Guannan |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Refunctionalization of Abstract ..."
Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl)
Guannan Wei, James Decker, and Tiark Rompf
(Purdue University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Weirich, Stephanie |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Ready, Set, Verify! Applying ..."
Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, and Stephanie Weirich
(University of Pennsylvania, USA; UNSW, Australia; BAE Systems, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Wiegley, John |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Ready, Set, Verify! Applying ..."
Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, and Stephanie Weirich
(University of Pennsylvania, USA; UNSW, Australia; BAE Systems, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Wilcox, James R. |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Functional Programming for ..."
Functional Programming for Compiling and Decompiling Computer-Aided Design
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Wu, Nicolas |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Generic Deriving of Generic ..."
Generic Deriving of Generic Traversals
Csongor Kiss, Matthew Pickering, and Nicolas Wu
(Imperial College London, UK; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Relational Algebra by Way ..."
Relational Algebra by Way of Adjunctions
Jeremy Gibbons, Fritz Henglein, Ralf Hinze, and Nicolas Wu
(University of Oxford, UK; University of Copenhagen, Denmark; University of Kaiserslautern, Germany; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Yallop, Jeremy
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Partially-Static Data as Free ..."
Partially-Static Data as Free Extension of Algebras
Jeremy Yallop, Tamara von Glehn, and Ohad Kammar
(University of Cambridge, UK; University of Oxford, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Yorgey, Brent A. |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "What’s the Difference? A ..."
What’s the Difference? A Functional Pearl on Subtracting Bijections
Brent A. Yorgey and Kenneth Foner
(Hendrix College, USA; University of Pennsylvania, USA)
Publisher's Version
|
| |
Zdancewic, Steve
|
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Synthesizing Quotient Lenses ..."
Synthesizing Quotient Lenses
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic
(University of Pennsylvania, USA; Princeton University, USA; Tufts University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Zhang, Hengchu |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Keep Your Laziness in Check ..."
Keep Your Laziness in Check
Kenneth Foner, Hengchu Zhang, and Leonidas Lampropoulos
(University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Ziliani, Beta |
Proc. ACM Program. Lang., vol. 2, issue ICFP: "Mtac2: Typed Tactics for Backward ..."
Mtac2: Typed Tactics for Backward Reasoning in Coq
Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, and Derek Dreyer
(MPI-SWS, Germany; Universidad Nacional de Córdoba, Argentina; CONICET, Argentina; Delft University of Technology, Netherlands; IRIF, France; CNRS, France; University of Paris Diderot, France; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|