ICFP 2022 – Author Index

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

	Acar, Umut A.	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Entanglement Detection with ..." Entanglement Detection with Near-Zero Cost Sam Westrick, Jatin Arora, and Umut A. Acar (Carnegie Mellon University, USA) Publisher's Version Published Artifact Archive submitted (490 kB) Artifacts Available Artifacts Reusable Article: icfp22main-p75-p doi:10.1145/3547646
	Accattoli, Beniamino	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Multi Types and Reasonable ..." Multi Types and Reasonable Space Beniamino Accattoli, Ugo Dal Lago, and Gabriele Vanoni (Inria, France; École Polytechnique, France; University of Bologna, Italy) Publisher's Version Article: icfp22main-p89-p doi:10.1145/3547650 Proc. ACM Program. Lang., vol. 6, issue ICFP: "The Theory of Call-by-Value ..." The Theory of Call-by-Value Solvability Beniamino Accattoli and Giulio Guerrieri (Inria, France; École Polytechnique, France; Huawei Edinburgh Research Centre, UK) Publisher's Version Article: icfp22main-p92-p doi:10.1145/3547652
	Arora, Jatin	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Entanglement Detection with ..." Entanglement Detection with Near-Zero Cost Sam Westrick, Jatin Arora, and Umut A. Acar (Carnegie Mellon University, USA) Publisher's Version Published Artifact Archive submitted (490 kB) Artifacts Available Artifacts Reusable Article: icfp22main-p75-p doi:10.1145/3547646
	Bahr, Patrick	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Monadic Compiler Calculation ..." Monadic Compiler Calculation (Functional Pearl) Patrick Bahr and Graham Hutton (IT University of Copenhagen, Denmark; University of Nottingham, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p10-p doi:10.1145/3547624
	Balzer, Stephanie	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Multiparty GV: Functional ..." Multiparty GV: Functional Multiparty Session Types with Certified Deadlock Freedom Jules Jacobs, Stephanie Balzer, and Robbert Krebbers (Radboud University Nijmegen, Netherlands; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p48-p doi:10.1145/3547638
	Barthe, Gilles	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Safe Couplings: Coupled Refinement ..." Safe Couplings: Coupled Refinement Types Elizaveta Vasilenko, Niki Vazou, and Gilles Barthe (IMDEA Software Institute, Spain; HSE University, Russia; MPI-SP, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p58-p doi:10.1145/3547643 Proc. ACM Program. Lang., vol. 6, issue ICFP: "On Feller Continuity and Full ..." On Feller Continuity and Full Abstraction Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, and Francesco Gavazzo (MPI-SP, Germany; IMDEA Software Institute, Spain; CNRS, France; University of Bologna, Italy; Inria, France) Publisher's Version Article: icfp22main-p91-p doi:10.1145/3547651
	Bernardy, Jean-Philippe	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Linearly Qualified Types: ..." Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, and Richard A. Eisenberg (Tweag, France; Imperial College London, UK; University of Gothenburg, Sweden) Publisher's Version Article: icfp22main-p15-p doi:10.1145/3547626
	Biernacka, Małgorzata	Proc. ACM Program. Lang., vol. 6, issue ICFP: "A Simple and Efficient Implementation ..." A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine Małgorzata Biernacka, Witold Charatonik, and Tomasz Drab (University of Wrocław, Poland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p14-p doi:10.1145/3549822
	Binder, David	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Introduction and Elimination, ..." Introduction and Elimination, Left and Right Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, and Paul Downen (University of Tübingen, Germany; University of Massachusetts at Lowell, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p45-p doi:10.1145/3547637
	Birkedal, Lars	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Later Credits: Resourceful ..." Later Credits: Resourceful Reasoning for the Later Modality Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, and Derek Dreyer (MPI-SWS, Germany; New York University, USA; Massachusetts Institute of Technology, USA; Radboud University Nijmegen, Netherlands; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p23-p doi:10.1145/3547631
	Charatonik, Witold	Proc. ACM Program. Lang., vol. 6, issue ICFP: "A Simple and Efficient Implementation ..." A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine Małgorzata Biernacka, Witold Charatonik, and Tomasz Drab (University of Wrocław, Poland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p14-p doi:10.1145/3549822
	Chen, Liang-Ting	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Datatype-Generic Programming ..." Datatype-Generic Programming Meets Elaborator Reflection Hsiang-Shang Ko, Liang-Ting Chen, and Tzu-Chi Lin (Academia Sinica, Taiwan) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p20-p doi:10.1145/3547629
	Cheney, James	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Constraint-Based Type Inference ..." Constraint-Based Type Inference for FreezeML Frank Emrich, Jan Stolarek, James Cheney, and Sam Lindley (University of Edinburgh, UK) Publisher's Version Article: icfp22main-p53-p doi:10.1145/3547642
	Cockx, Jesper	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Practical Generic Programming ..." Practical Generic Programming over a Universe of Native Datatypes Lucas Escot and Jesper Cockx (Delft University of Technology, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p66-p doi:10.1145/3547644
	Crubillé, Raphaëlle	Proc. ACM Program. Lang., vol. 6, issue ICFP: "On Feller Continuity and Full ..." On Feller Continuity and Full Abstraction Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, and Francesco Gavazzo (MPI-SP, Germany; IMDEA Software Institute, Spain; CNRS, France; University of Bologna, Italy; Inria, France) Publisher's Version Article: icfp22main-p91-p doi:10.1145/3547651
	Dal Lago, Ugo	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Multi Types and Reasonable ..." Multi Types and Reasonable Space Beniamino Accattoli, Ugo Dal Lago, and Gabriele Vanoni (Inria, France; École Polytechnique, France; University of Bologna, Italy) Publisher's Version Article: icfp22main-p89-p doi:10.1145/3547650 Proc. ACM Program. Lang., vol. 6, issue ICFP: "On Feller Continuity and Full ..." On Feller Continuity and Full Abstraction Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, and Francesco Gavazzo (MPI-SP, Germany; IMDEA Software Institute, Spain; CNRS, France; University of Bologna, Italy; Inria, France) Publisher's Version Article: icfp22main-p91-p doi:10.1145/3547651
	De Moura, Leonardo	Proc. ACM Program. Lang., vol. 6, issue ICFP: "‘do’ Unchained: Embracing ..." ‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language (Functional Pearl) Sebastian Ullrich and Leonardo de Moura (KIT, Germany; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p50-p doi:10.1145/3547640
	De Vries, Edsko	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Searching Entangled Program ..." Searching Entangled Program Spaces James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, and Nadia Polikarpova (Massachusetts Institute of Technology, USA; University of California at San Diego, USA; Well-Typed LLP, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p3-p doi:10.1145/3547622
	Devriese, Dominique	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Verified Symbolic Execution ..." Verified Symbolic Execution with Kripke Specification Monads (and No Meta-programming) Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, and Dominique Devriese (Vrije Universiteit Brussel, Belgium; Newcastle University, UK; KU Leuven, Belgium) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p17-p doi:10.1145/3547628
	Downen, Paul	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Introduction and Elimination, ..." Introduction and Elimination, Left and Right Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, and Paul Downen (University of Tübingen, Germany; University of Massachusetts at Lowell, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p45-p doi:10.1145/3547637
	Drab, Tomasz	Proc. ACM Program. Lang., vol. 6, issue ICFP: "A Simple and Efficient Implementation ..." A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine Małgorzata Biernacka, Witold Charatonik, and Tomasz Drab (University of Wrocław, Poland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p14-p doi:10.1145/3549822
	Dreyer, Derek	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Later Credits: Resourceful ..." Later Credits: Resourceful Reasoning for the Later Modality Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, and Derek Dreyer (MPI-SWS, Germany; New York University, USA; Massachusetts Institute of Technology, USA; Radboud University Nijmegen, Netherlands; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p23-p doi:10.1145/3547631
	Eisenberg, Richard A.	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Linearly Qualified Types: ..." Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, and Richard A. Eisenberg (Tweag, France; Imperial College London, UK; University of Gothenburg, Sweden) Publisher's Version Article: icfp22main-p15-p doi:10.1145/3547626
	Emrich, Frank	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Constraint-Based Type Inference ..." Constraint-Based Type Inference for FreezeML Frank Emrich, Jan Stolarek, James Cheney, and Sam Lindley (University of Edinburgh, UK) Publisher's Version Article: icfp22main-p53-p doi:10.1145/3547642
	Eremondi, Joseph	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Propositional Equality for ..." Propositional Equality for Gradual Dependently Typed Programming Joseph Eremondi, Ronald Garcia, and Éric Tanter (University of British Columbia, Canada; University of Chile, Chile) Publisher's Version Article: icfp22main-p16-p doi:10.1145/3547627
	Escot, Lucas	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Practical Generic Programming ..." Practical Generic Programming over a Universe of Native Datatypes Lucas Escot and Jesper Cockx (Delft University of Technology, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p66-p doi:10.1145/3547644
	Gäher, Lennard	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Later Credits: Resourceful ..." Later Credits: Resourceful Reasoning for the Later Modality Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, and Derek Dreyer (MPI-SWS, Germany; New York University, USA; Massachusetts Institute of Technology, USA; Radboud University Nijmegen, Netherlands; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p23-p doi:10.1145/3547631
	Garcia, Ronald	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Propositional Equality for ..." Propositional Equality for Gradual Dependently Typed Programming Joseph Eremondi, Ronald Garcia, and Éric Tanter (University of British Columbia, Canada; University of Chile, Chile) Publisher's Version Article: icfp22main-p16-p doi:10.1145/3547627
	Gavazzo, Francesco	Proc. ACM Program. Lang., vol. 6, issue ICFP: "On Feller Continuity and Full ..." On Feller Continuity and Full Abstraction Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, and Francesco Gavazzo (MPI-SP, Germany; IMDEA Software Institute, Spain; CNRS, France; University of Bologna, Italy; Inria, France) Publisher's Version Article: icfp22main-p91-p doi:10.1145/3547651
	Guerrieri, Giulio	Proc. ACM Program. Lang., vol. 6, issue ICFP: "The Theory of Call-by-Value ..." The Theory of Call-by-Value Solvability Beniamino Accattoli and Giulio Guerrieri (Inria, France; École Polytechnique, France; Huawei Edinburgh Research Centre, UK) Publisher's Version Article: icfp22main-p92-p doi:10.1145/3547652
	Guo, Zheng	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Searching Entangled Program ..." Searching Entangled Program Spaces James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, and Nadia Polikarpova (Massachusetts Institute of Technology, USA; University of California at San Diego, USA; Well-Typed LLP, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p3-p doi:10.1145/3547622
	Ho, Son	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Aeneas: Rust Verification ..." Aeneas: Rust Verification by Functional Translation Son Ho and Jonathan Protzenko (Inria, France; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p82-p doi:10.1145/3547647
	Hoang, Tram	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Random Testing of a Higher-Order ..." Random Testing of a Higher-Order Blockchain Language (Experience Report) Tram Hoang, Anton Trunov, Leonidas Lampropoulos, and Ilya Sergey (National University of Singapore, Singapore; Zilliqa Research, Russia; University of Maryland at College Park, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p102-p doi:10.1145/3547653
	Hutton, Graham	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Monadic Compiler Calculation ..." Monadic Compiler Calculation (Functional Pearl) Patrick Bahr and Graham Hutton (IT University of Copenhagen, Denmark; University of Nottingham, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p10-p doi:10.1145/3547624
	Huyghebaert, Sander	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Verified Symbolic Execution ..." Verified Symbolic Execution with Kripke Specification Monads (and No Meta-programming) Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, and Dominique Devriese (Vrije Universiteit Brussel, Belgium; Newcastle University, UK; KU Leuven, Belgium) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p17-p doi:10.1145/3547628
	Jacobs, Jules	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Multiparty GV: Functional ..." Multiparty GV: Functional Multiparty Session Types with Certified Deadlock Freedom Jules Jacobs, Stephanie Balzer, and Robbert Krebbers (Radboud University Nijmegen, Netherlands; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p48-p doi:10.1145/3547638
	Jung, Ralf	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Later Credits: Resourceful ..." Later Credits: Resourceful Reasoning for the Later Modality Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, and Derek Dreyer (MPI-SWS, Germany; New York University, USA; Massachusetts Institute of Technology, USA; Radboud University Nijmegen, Netherlands; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p23-p doi:10.1145/3547631
	Katsumata, Shin-ya	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Flexible Presentations of ..." Flexible Presentations of Graded Monads Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, and Nicolas Wu (National Institute of Informatics, Japan; Reykjavik University, Iceland; Tallinn University of Technology, Estonia; Imperial College London, UK) Publisher's Version Article: icfp22main-p104-p doi:10.1145/3547654
	Kearl, Jackson	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Automatically Deriving Control-Flow ..." Automatically Deriving Control-Flow Graph Generators from Operational Semantics James Koppel, Jackson Kearl, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p85-p doi:10.1145/3547648
	Keuchel, Steven	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Verified Symbolic Execution ..." Verified Symbolic Execution with Kripke Specification Monads (and No Meta-programming) Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, and Dominique Devriese (Vrije Universiteit Brussel, Belgium; Newcastle University, UK; KU Leuven, Belgium) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p17-p doi:10.1145/3547628
	Kiss, Csongor	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Linearly Qualified Types: ..." Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, and Richard A. Eisenberg (Tweag, France; Imperial College London, UK; University of Gothenburg, Sweden) Publisher's Version Article: icfp22main-p15-p doi:10.1145/3547626
	Ko, Hsiang-Shang	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Datatype-Generic Programming ..." Datatype-Generic Programming Meets Elaborator Reflection Hsiang-Shang Ko, Liang-Ting Chen, and Tzu-Chi Lin (Academia Sinica, Taiwan) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p20-p doi:10.1145/3547629
	Koppel, James	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Automatically Deriving Control-Flow ..." Automatically Deriving Control-Flow Graph Generators from Operational Semantics James Koppel, Jackson Kearl, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p85-p doi:10.1145/3547648 Proc. ACM Program. Lang., vol. 6, issue ICFP: "Searching Entangled Program ..." Searching Entangled Program Spaces James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, and Nadia Polikarpova (Massachusetts Institute of Technology, USA; University of California at San Diego, USA; Well-Typed LLP, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p3-p doi:10.1145/3547622
	Kovács, András	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Staged Compilation with Two-Level ..." Staged Compilation with Two-Level Type Theory András Kovács (Eötvös Loránd University, Hungary) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p52-p doi:10.1145/3547641
	Krebbers, Robbert	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Later Credits: Resourceful ..." Later Credits: Resourceful Reasoning for the Later Modality Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, and Derek Dreyer (MPI-SWS, Germany; New York University, USA; Massachusetts Institute of Technology, USA; Radboud University Nijmegen, Netherlands; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p23-p doi:10.1145/3547631 Proc. ACM Program. Lang., vol. 6, issue ICFP: "Multiparty GV: Functional ..." Multiparty GV: Functional Multiparty Session Types with Certified Deadlock Freedom Jules Jacobs, Stephanie Balzer, and Robbert Krebbers (Radboud University Nijmegen, Netherlands; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p48-p doi:10.1145/3547638
	Krishnamurthi, Shriram	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Structural versus Pipeline ..." Structural versus Pipeline Composition of Higher-Order Functions (Experience Report) Elijah Rivera and Shriram Krishnamurthi (Brown University, USA) Publisher's Version Article: icfp22main-p36-p doi:10.1145/3547633
	Lampropoulos, Leonidas	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Random Testing of a Higher-Order ..." Random Testing of a Higher-Order Blockchain Language (Experience Report) Tram Hoang, Anton Trunov, Leonidas Lampropoulos, and Ilya Sergey (National University of Singapore, Singapore; Zilliqa Research, Russia; University of Maryland at College Park, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p102-p doi:10.1145/3547653
	Leijen, Daan	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Reference Counting with Frame ..." Reference Counting with Frame Limited Reuse Anton Lorenzen and Daan Leijen (University of Bonn, Germany; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p41-p doi:10.1145/3547634
	Lennon-Bertrand, Meven	Proc. ACM Program. Lang., vol. 6, issue ICFP: "A Reasonably Gradual Type ..." A Reasonably Gradual Type Theory Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, and Éric Tanter (Inria, France; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p107-p doi:10.1145/3547655
	Li, Yao	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Program Adverbs and Tlön ..." Program Adverbs and Tlön Embeddings Yao Li and Stephanie Weirich (Portland State University, USA; University of Pennsylvania, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p26-p doi:10.1145/3547632
	Lin, Tzu-Chi	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Datatype-Generic Programming ..." Datatype-Generic Programming Meets Elaborator Reflection Hsiang-Shang Ko, Liang-Ting Chen, and Tzu-Chi Lin (Academia Sinica, Taiwan) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p20-p doi:10.1145/3547629
	Lindley, Sam	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Constraint-Based Type Inference ..." Constraint-Based Type Inference for FreezeML Frank Emrich, Jan Stolarek, James Cheney, and Sam Lindley (University of Edinburgh, UK) Publisher's Version Article: icfp22main-p53-p doi:10.1145/3547642
	Lorenzen, Anton	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Reference Counting with Frame ..." Reference Counting with Frame Limited Reuse Anton Lorenzen and Daan Leijen (University of Bonn, Germany; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p41-p doi:10.1145/3547634
	Lukyanov, Georgy	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Verified Symbolic Execution ..." Verified Symbolic Execution with Kripke Specification Monads (and No Meta-programming) Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, and Dominique Devriese (Vrije Universiteit Brussel, Belgium; Newcastle University, UK; KU Leuven, Belgium) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p17-p doi:10.1145/3547628
	Maillard, Kenji	Proc. ACM Program. Lang., vol. 6, issue ICFP: "A Reasonably Gradual Type ..." A Reasonably Gradual Type Theory Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, and Éric Tanter (Inria, France; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p107-p doi:10.1145/3547655
	Materzok, Marek	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Generating Circuits with Generators ..." Generating Circuits with Generators Marek Materzok (University of Wrocław, Poland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p7-p doi:10.1145/3549821
	McDermott, Dylan	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Flexible Presentations of ..." Flexible Presentations of Graded Monads Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, and Nicolas Wu (National Institute of Informatics, Japan; Reykjavik University, Iceland; Tallinn University of Technology, Estonia; Imperial College London, UK) Publisher's Version Article: icfp22main-p104-p doi:10.1145/3547654
	Nguyen, Minh	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Modular Probabilistic Models ..." Modular Probabilistic Models via Algebraic Effects Minh Nguyen, Roly Perera, Meng Wang, and Nicolas Wu (University of Bristol, UK; Alan Turing Institute, UK; Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p42-p doi:10.1145/3547635
	Ostermann, Klaus	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Introduction and Elimination, ..." Introduction and Elimination, Left and Right Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, and Paul Downen (University of Tübingen, Germany; University of Massachusetts at Lowell, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p45-p doi:10.1145/3547637
	Perera, Roly	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Modular Probabilistic Models ..." Modular Probabilistic Models via Algebraic Effects Minh Nguyen, Roly Perera, Meng Wang, and Nicolas Wu (University of Bristol, UK; Alan Turing Institute, UK; Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p42-p doi:10.1145/3547635
	Polikarpova, Nadia	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Searching Entangled Program ..." Searching Entangled Program Spaces James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, and Nadia Polikarpova (Massachusetts Institute of Technology, USA; University of California at San Diego, USA; Well-Typed LLP, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p3-p doi:10.1145/3547622
	Protzenko, Jonathan	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Aeneas: Rust Verification ..." Aeneas: Rust Verification by Functional Translation Son Ho and Jonathan Protzenko (Inria, France; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p82-p doi:10.1145/3547647
	Quiring, Benjamin	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Analyzing Binding Extent in ..." Analyzing Binding Extent in 3CPS Benjamin Quiring, John Reppy, and Olin Shivers (University of Maryland, USA; University of Chicago, USA; Northeastern University, USA) Publisher's Version Artifacts Reusable Article: icfp22main-p70-p doi:10.1145/3547645
	Ramsey, Norman	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Beyond Relooper: Recursive ..." Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structured Control Flow (Functional Pearl) Norman Ramsey (Tweag, France; Tufts University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p1-p doi:10.1145/3547621
	Reppy, John	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Analyzing Binding Extent in ..." Analyzing Binding Extent in 3CPS Benjamin Quiring, John Reppy, and Olin Shivers (University of Maryland, USA; University of Chicago, USA; Northeastern University, USA) Publisher's Version Artifacts Reusable Article: icfp22main-p70-p doi:10.1145/3547645
	Rivera, Elijah	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Structural versus Pipeline ..." Structural versus Pipeline Composition of Higher-Order Functions (Experience Report) Elijah Rivera and Shriram Krishnamurthi (Brown University, USA) Publisher's Version Article: icfp22main-p36-p doi:10.1145/3547633
	Rix, Rob	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Fusing Industry and Academia ..." Fusing Industry and Academia at GitHub (Experience Report) Patrick Thomson, Rob Rix, Nicolas Wu, and Tom Schrijvers (GitHub, USA; GitHub, Canada; Imperial College London, UK; KU Leuven, Belgium) Publisher's Version Article: icfp22main-p49-p doi:10.1145/3547639
	Ruch, Fabian	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Normalization for Fitch-Style ..." Normalization for Fitch-Style Modal Calculi Nachiappan Valliappan, Fabian Ruch, and Carlos Tomé Cortiñas (Chalmers University of Technology, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p88-p doi:10.1145/3547649
	Schrijvers, Tom	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Fusing Industry and Academia ..." Fusing Industry and Academia at GitHub (Experience Report) Patrick Thomson, Rob Rix, Nicolas Wu, and Tom Schrijvers (GitHub, USA; GitHub, Canada; Imperial College London, UK; KU Leuven, Belgium) Publisher's Version Article: icfp22main-p49-p doi:10.1145/3547639
	Sergey, Ilya	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Random Testing of a Higher-Order ..." Random Testing of a Higher-Order Blockchain Language (Experience Report) Tram Hoang, Anton Trunov, Leonidas Lampropoulos, and Ilya Sergey (National University of Singapore, Singapore; Zilliqa Research, Russia; University of Maryland at College Park, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p102-p doi:10.1145/3547653
	Shivers, Olin	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Analyzing Binding Extent in ..." Analyzing Binding Extent in 3CPS Benjamin Quiring, John Reppy, and Olin Shivers (University of Maryland, USA; University of Chicago, USA; Northeastern University, USA) Publisher's Version Artifacts Reusable Article: icfp22main-p70-p doi:10.1145/3547645
	Skupin, Ingo	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Introduction and Elimination, ..." Introduction and Elimination, Left and Right Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, and Paul Downen (University of Tübingen, Germany; University of Massachusetts at Lowell, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p45-p doi:10.1145/3547637
	Solar-Lezama, Armando	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Automatically Deriving Control-Flow ..." Automatically Deriving Control-Flow Graph Generators from Operational Semantics James Koppel, Jackson Kearl, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p85-p doi:10.1145/3547648 Proc. ACM Program. Lang., vol. 6, issue ICFP: "Searching Entangled Program ..." Searching Entangled Program Spaces James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, and Nadia Polikarpova (Massachusetts Institute of Technology, USA; University of California at San Diego, USA; Well-Typed LLP, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p3-p doi:10.1145/3547622
	Spies, Simon	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Later Credits: Resourceful ..." Later Credits: Resourceful Reasoning for the Later Modality Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, and Derek Dreyer (MPI-SWS, Germany; New York University, USA; Massachusetts Institute of Technology, USA; Radboud University Nijmegen, Netherlands; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p23-p doi:10.1145/3547631
	Spiwack, Arnaud	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Linearly Qualified Types: ..." Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, and Richard A. Eisenberg (Tweag, France; Imperial College London, UK; University of Gothenburg, Sweden) Publisher's Version Article: icfp22main-p15-p doi:10.1145/3547626
	Stolarek, Jan	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Constraint-Based Type Inference ..." Constraint-Based Type Inference for FreezeML Frank Emrich, Jan Stolarek, James Cheney, and Sam Lindley (University of Edinburgh, UK) Publisher's Version Article: icfp22main-p53-p doi:10.1145/3547642
	Süberkrüb, Tim	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Introduction and Elimination, ..." Introduction and Elimination, Left and Right Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, and Paul Downen (University of Tübingen, Germany; University of Massachusetts at Lowell, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p45-p doi:10.1145/3547637
	Swierstra, Wouter	Proc. ACM Program. Lang., vol. 6, issue ICFP: "A Completely Unique Account ..." A Completely Unique Account of Enumeration Cas van der Rest and Wouter Swierstra (Delft University of Technology, Netherlands; Utrecht University, Netherlands) Publisher's Version Article: icfp22main-p44-p doi:10.1145/3547636
	Tabareau, Nicolas	Proc. ACM Program. Lang., vol. 6, issue ICFP: "A Reasonably Gradual Type ..." A Reasonably Gradual Type Theory Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, and Éric Tanter (Inria, France; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p107-p doi:10.1145/3547655
	Tanter, Éric	Proc. ACM Program. Lang., vol. 6, issue ICFP: "A Reasonably Gradual Type ..." A Reasonably Gradual Type Theory Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, and Éric Tanter (Inria, France; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p107-p doi:10.1145/3547655 Proc. ACM Program. Lang., vol. 6, issue ICFP: "Propositional Equality for ..." Propositional Equality for Gradual Dependently Typed Programming Joseph Eremondi, Ronald Garcia, and Éric Tanter (University of British Columbia, Canada; University of Chile, Chile) Publisher's Version Article: icfp22main-p16-p doi:10.1145/3547627
	Tassarotti, Joseph	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Later Credits: Resourceful ..." Later Credits: Resourceful Reasoning for the Later Modality Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, and Derek Dreyer (MPI-SWS, Germany; New York University, USA; Massachusetts Institute of Technology, USA; Radboud University Nijmegen, Netherlands; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p23-p doi:10.1145/3547631
	Thomson, Patrick	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Fusing Industry and Academia ..." Fusing Industry and Academia at GitHub (Experience Report) Patrick Thomson, Rob Rix, Nicolas Wu, and Tom Schrijvers (GitHub, USA; GitHub, Canada; Imperial College London, UK; KU Leuven, Belgium) Publisher's Version Article: icfp22main-p49-p doi:10.1145/3547639
	Tomé Cortiñas, Carlos	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Normalization for Fitch-Style ..." Normalization for Fitch-Style Modal Calculi Nachiappan Valliappan, Fabian Ruch, and Carlos Tomé Cortiñas (Chalmers University of Technology, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p88-p doi:10.1145/3547649
	Trunov, Anton	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Random Testing of a Higher-Order ..." Random Testing of a Higher-Order Blockchain Language (Experience Report) Tram Hoang, Anton Trunov, Leonidas Lampropoulos, and Ilya Sergey (National University of Singapore, Singapore; Zilliqa Research, Russia; University of Maryland at College Park, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p102-p doi:10.1145/3547653
	Ullrich, Sebastian	Proc. ACM Program. Lang., vol. 6, issue ICFP: "‘do’ Unchained: Embracing ..." ‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language (Functional Pearl) Sebastian Ullrich and Leonardo de Moura (KIT, Germany; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p50-p doi:10.1145/3547640
	Uustalu, Tarmo	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Flexible Presentations of ..." Flexible Presentations of Graded Monads Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, and Nicolas Wu (National Institute of Informatics, Japan; Reykjavik University, Iceland; Tallinn University of Technology, Estonia; Imperial College London, UK) Publisher's Version Article: icfp22main-p104-p doi:10.1145/3547654
	Valliappan, Nachiappan	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Normalization for Fitch-Style ..." Normalization for Fitch-Style Modal Calculi Nachiappan Valliappan, Fabian Ruch, and Carlos Tomé Cortiñas (Chalmers University of Technology, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p88-p doi:10.1145/3547649
	Van der Rest, Cas	Proc. ACM Program. Lang., vol. 6, issue ICFP: "A Completely Unique Account ..." A Completely Unique Account of Enumeration Cas van der Rest and Wouter Swierstra (Delft University of Technology, Netherlands; Utrecht University, Netherlands) Publisher's Version Article: icfp22main-p44-p doi:10.1145/3547636
	Vanoni, Gabriele	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Multi Types and Reasonable ..." Multi Types and Reasonable Space Beniamino Accattoli, Ugo Dal Lago, and Gabriele Vanoni (Inria, France; École Polytechnique, France; University of Bologna, Italy) Publisher's Version Article: icfp22main-p89-p doi:10.1145/3547650
	Vasilenko, Elizaveta	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Safe Couplings: Coupled Refinement ..." Safe Couplings: Coupled Refinement Types Elizaveta Vasilenko, Niki Vazou, and Gilles Barthe (IMDEA Software Institute, Spain; HSE University, Russia; MPI-SP, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p58-p doi:10.1145/3547643
	Vazou, Niki	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Safe Couplings: Coupled Refinement ..." Safe Couplings: Coupled Refinement Types Elizaveta Vasilenko, Niki Vazou, and Gilles Barthe (IMDEA Software Institute, Spain; HSE University, Russia; MPI-SP, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p58-p doi:10.1145/3547643
	Wang, Meng	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Modular Probabilistic Models ..." Modular Probabilistic Models via Algebraic Effects Minh Nguyen, Roly Perera, Meng Wang, and Nicolas Wu (University of Bristol, UK; Alan Turing Institute, UK; Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p42-p doi:10.1145/3547635
	Weirich, Stephanie	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Program Adverbs and Tlön ..." Program Adverbs and Tlön Embeddings Yao Li and Stephanie Weirich (Portland State University, USA; University of Pennsylvania, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p26-p doi:10.1145/3547632
	Westrick, Sam	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Entanglement Detection with ..." Entanglement Detection with Near-Zero Cost Sam Westrick, Jatin Arora, and Umut A. Acar (Carnegie Mellon University, USA) Publisher's Version Published Artifact Archive submitted (490 kB) Artifacts Available Artifacts Reusable Article: icfp22main-p75-p doi:10.1145/3547646
	Wu, Nicolas	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Modular Probabilistic Models ..." Modular Probabilistic Models via Algebraic Effects Minh Nguyen, Roly Perera, Meng Wang, and Nicolas Wu (University of Bristol, UK; Alan Turing Institute, UK; Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p42-p doi:10.1145/3547635 Proc. ACM Program. Lang., vol. 6, issue ICFP: "Fusing Industry and Academia ..." Fusing Industry and Academia at GitHub (Experience Report) Patrick Thomson, Rob Rix, Nicolas Wu, and Tom Schrijvers (GitHub, USA; GitHub, Canada; Imperial College London, UK; KU Leuven, Belgium) Publisher's Version Article: icfp22main-p49-p doi:10.1145/3547639 Proc. ACM Program. Lang., vol. 6, issue ICFP: "Flexible Presentations of ..." Flexible Presentations of Graded Monads Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, and Nicolas Wu (National Institute of Informatics, Japan; Reykjavik University, Iceland; Tallinn University of Technology, Estonia; Imperial College London, UK) Publisher's Version Article: icfp22main-p104-p doi:10.1145/3547654 Proc. ACM Program. Lang., vol. 6, issue ICFP: "Linearly Qualified Types: ..." Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, and Richard A. Eisenberg (Tweag, France; Imperial College London, UK; University of Gothenburg, Sweden) Publisher's Version Article: icfp22main-p15-p doi:10.1145/3547626
	Yoon, Irene	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Formal Reasoning about Layered ..." Formal Reasoning about Layered Monadic Interpreters Irene Yoon, Yannick Zakowski, and Steve Zdancewic (University of Pennsylvania, USA; Inria, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p21-p doi:10.1145/3547630
	Zakowski, Yannick	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Formal Reasoning about Layered ..." Formal Reasoning about Layered Monadic Interpreters Irene Yoon, Yannick Zakowski, and Steve Zdancewic (University of Pennsylvania, USA; Inria, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p21-p doi:10.1145/3547630
	Zdancewic, Steve	Proc. ACM Program. Lang., vol. 6, issue ICFP: "Formal Reasoning about Layered ..." Formal Reasoning about Layered Monadic Interpreters Irene Yoon, Yannick Zakowski, and Steve Zdancewic (University of Pennsylvania, USA; Inria, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: icfp22main-p21-p doi:10.1145/3547630

108 authors

proc time: 0.27