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
	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 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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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 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 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
	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
	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
	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

108 authors

proc time: 0.08