ICFP 2018 – Author Index

A B C D E F G H J K L M N O P R S T U V W Y Z

	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 Article: icfp18main-p34-p doi:10.1145/3236770
	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 Article: icfp18main-p91-p doi:10.1145/3236790
	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 Article: icfp18main-p89-p doi:10.1145/3236789
	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 Article: icfp18main-p26-p doi:10.1145/3236768
	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 Article: icfp18main-p121-p doi:10.1145/3236801
	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 Article: icfp18main-p75-p doi:10.1145/3236785
	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 Article: icfp18main-p52-p doi:10.1145/3236777
	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) Article: icfp18main-p5-p doi:
	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 Article: icfp18main-p94-p doi:10.1145/3236792
	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 Article: icfp18main-p13-p doi:10.1145/3236764
	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 Article: icfp18main-p75-p doi:10.1145/3236785
	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 Article: icfp18main-p103-p doi:10.1145/3236794
	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 Article: icfp18main-p54-p doi:10.1145/3236779
	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 Article: icfp18main-p116-p doi:10.1145/3236798
	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) Article: icfp18main-p5-p doi:
	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 Article: icfp18main-p71-p doi:10.1145/3236784
	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 Article: icfp18main-p101-p doi:10.1145/3236793
	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 Article: icfp18main-p75-p doi:10.1145/3236785
	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 Article: icfp18main-p41-p doi:10.1145/3236772
	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 Article: icfp18main-p101-p doi:10.1145/3236793
	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 Article: icfp18main-p31-p doi:10.1145/3236769
	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 Article: icfp18main-p88-p doi:10.1145/3236788
	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 Article: icfp18main-p60-p doi:10.1145/3236782
	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 Article: icfp18main-p34-p doi:10.1145/3236770
	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 Article: icfp18main-p13-p doi:10.1145/3236764
	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 Article: icfp18main-p60-p doi:10.1145/3236782
	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 Article: icfp18main-p52-p doi:10.1145/3236777
	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 Article: icfp18main-p79-p doi:10.1145/3236786
	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 Article: icfp18main-p119-p doi:10.1145/3236800
	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 Article: icfp18main-p117-p doi:10.1145/3236799
	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 Article: icfp18main-p41-p doi:10.1145/3236772 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 Article: icfp18main-p45-p doi:10.1145/3236773
	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 Article: icfp18main-p18-p doi:10.1145/3236765
	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 Article: icfp18main-p94-p doi:10.1145/3236792
	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) Article: icfp18main-p5-p doi: 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 Article: icfp18main-p23-p doi:10.1145/3236767
	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) Article: icfp18main-p5-p doi:
	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 Article: icfp18main-p21-p doi:10.1145/3236766
	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 Article: icfp18main-p117-p doi:10.1145/3236799
	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 Article: icfp18main-p47-p doi:10.1145/3236775
	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 Article: icfp18main-p107-p doi:10.1145/3236796 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 Article: icfp18main-p108-p doi:10.1145/3236797
	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 Article: icfp18main-p53-p doi:10.1145/3236778
	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 Article: icfp18main-p60-p doi:10.1145/3236782
	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 Article: icfp18main-p54-p doi:10.1145/3236779 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 Article: icfp18main-p56-p doi:10.1145/3236781
	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 Article: icfp18main-p89-p doi:10.1145/3236789
	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 Article: icfp18main-p21-p doi:10.1145/3236766
	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 Article: icfp18main-p103-p doi:10.1145/3236794
	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 Article: icfp18main-p12-p doi:10.1145/3236763
	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 Article: icfp18main-p91-p doi:10.1145/3236790
	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 Article: icfp18main-p56-p doi:10.1145/3236781
	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 Article: icfp18main-p94-p doi:10.1145/3236792
	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 Article: icfp18main-p56-p doi:10.1145/3236781
	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 Article: icfp18main-p63-p doi:10.1145/3236783
	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 Article: icfp18main-p79-p doi:10.1145/3236786
	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 Article: icfp18main-p31-p doi:10.1145/3236769
	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 Article: icfp18main-p12-p doi:10.1145/3236763
	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 Article: icfp18main-p41-p doi:10.1145/3236772
	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 Article: icfp18main-p41-p doi:10.1145/3236772
	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 Article: icfp18main-p41-p doi:10.1145/3236772 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 Article: icfp18main-p45-p doi:10.1145/3236773
	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 Article: icfp18main-p104-p doi:10.1145/3236795 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 Article: icfp18main-p53-p doi:10.1145/3236778
	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 Article: icfp18main-p23-p doi:10.1145/3236767
	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 Article: icfp18main-p89-p doi:10.1145/3236789
	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 Article: icfp18main-p55-p doi:10.1145/3236780
	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 Article: icfp18main-p36-p doi:10.1145/3236771
	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 Article: icfp18main-p41-p doi:10.1145/3236772 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 Article: icfp18main-p45-p doi:10.1145/3236773
	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 Article: icfp18main-p108-p doi:10.1145/3236797
	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 Article: icfp18main-p71-p doi:10.1145/3236784
	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 Article: icfp18main-p52-p doi:10.1145/3236777
	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 Article: icfp18main-p47-p doi:10.1145/3236775
	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 Article: icfp18main-p75-p doi:10.1145/3236785
	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 Article: icfp18main-p75-p doi:10.1145/3236785
	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) Article: icfp18main-p5-p doi:
	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 Article: icfp18main-p47-p doi:10.1145/3236775
	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 Article: icfp18main-p50-p doi:10.1145/3236776
	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 Article: icfp18main-p46-p doi:10.1145/3236774
	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 Article: icfp18main-p46-p doi:10.1145/3236774
	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 Article: icfp18main-p91-p doi:10.1145/3236790
	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 Article: icfp18main-p103-p doi:10.1145/3236794
	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 Article: icfp18main-p26-p doi:10.1145/3236768
	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 Article: icfp18main-p94-p doi:10.1145/3236792
	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 Article: icfp18main-p50-p doi:10.1145/3236776
	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 Article: icfp18main-p121-p doi:10.1145/3236801
	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 Article: icfp18main-p52-p doi:10.1145/3236777
	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 Article: icfp18main-p103-p doi:10.1145/3236794
	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 Article: icfp18main-p31-p doi:10.1145/3236769
	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 Article: icfp18main-p93-p doi:10.1145/3236791
	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 Article: icfp18main-p46-p doi:10.1145/3236774
	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 Article: icfp18main-p79-p doi:10.1145/3236786
	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 Article: icfp18main-p55-p doi:10.1145/3236780
	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 Article: icfp18main-p47-p doi:10.1145/3236775
	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 Article: icfp18main-p23-p doi:10.1145/3236767
	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 Article: icfp18main-p52-p doi:10.1145/3236777
	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 Article: icfp18main-p116-p doi:10.1145/3236798
	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 Article: icfp18main-p45-p doi:10.1145/3236773
	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 Article: icfp18main-p71-p doi:10.1145/3236784
	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 Article: icfp18main-p119-p doi:10.1145/3236800
	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) Article: icfp18main-p5-p doi:
	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 Article: icfp18main-p116-p doi:10.1145/3236798 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 Article: icfp18main-p36-p doi:10.1145/3236771
	Ś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 Article: icfp18main-p53-p doi:10.1145/3236778
	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 Article: icfp18main-p36-p doi:10.1145/3236771
	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 Article: icfp18main-p81-p doi:10.1145/3236787
	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 Article: icfp18main-p71-p doi:10.1145/3236784
	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 Article: icfp18main-p88-p doi:10.1145/3236788
	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 Article: icfp18main-p117-p doi:10.1145/3236799
	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 Article: icfp18main-p81-p doi:10.1145/3236787
	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 Article: icfp18main-p81-p doi:10.1145/3236787
	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 Article: icfp18main-p41-p doi:10.1145/3236772
	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 Article: icfp18main-p63-p doi:10.1145/3236783
	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 Article: icfp18main-p103-p doi:10.1145/3236794
	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 Article: icfp18main-p41-p doi:10.1145/3236772
	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 Article: icfp18main-p50-p doi:10.1145/3236776
	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 Article: icfp18main-p104-p doi:10.1145/3236795
	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 Article: icfp18main-p47-p doi:10.1145/3236775
	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 Article: icfp18main-p101-p doi:10.1145/3236793
	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 Article: icfp18main-p60-p doi:10.1145/3236782
	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 Article: icfp18main-p119-p doi:10.1145/3236800
	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 Article: icfp18main-p71-p doi:10.1145/3236784
	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 Article: icfp18main-p71-p doi:10.1145/3236784
	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 Article: icfp18main-p103-p doi:10.1145/3236794
	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 Article: icfp18main-p55-p doi:10.1145/3236780 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 Article: icfp18main-p56-p doi:10.1145/3236781
	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 Article: icfp18main-p104-p doi:10.1145/3236795
	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 Article: icfp18main-p107-p doi:10.1145/3236796
	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 Article: icfp18main-p47-p doi:10.1145/3236775
	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 Article: icfp18main-p108-p doi:10.1145/3236797
	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 Article: icfp18main-p45-p doi:10.1145/3236773

132 authors

proc time: 0.2