ICFP 2020 – Author Index

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

	Abel, Andreas	Proc. ACM Program. Lang., vol. 4, issue ICFP: "A Unified View of Modalities ..." A Unified View of Modalities in Type Systems Andreas Abel and Jean-Philippe Bernardy (University of Gothenburg, Sweden) Publisher's Version
	Adams, Michael D.	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Parsing with Zippers (Functional ..." Parsing with Zippers (Functional Pearl) Pierce Darragh and Michael D. Adams (University of Utah, USA; University of Michigan, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Ahman, Danel	Proc. ACM Program. Lang., vol. 4, issue ICFP: "SteelCore: An Extensible Concurrent ..." SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, and Guido Martínez (Microsoft Research, USA; Microsoft Research, India; Carnegie Mellon University, USA; Inria, France; University of Ljubljana, Slovenia; CIFASIS-CONICET, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Ariola, Zena M.	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Kinds Are Calling Conventions ..." Kinds Are Calling Conventions Paul Downen, Zena M. Ariola, Simon Peyton Jones, and Richard A. Eisenberg (University of Oregon, USA; Microsoft Research, UK; Bryn Mawr College, USA; Tweag I/O, USA) Publisher's Version
	Bernardy, Jean-Philippe	Proc. ACM Program. Lang., vol. 4, issue ICFP: "A Unified View of Modalities ..." A Unified View of Modalities in Type Systems Andreas Abel and Jean-Philippe Bernardy (University of Gothenburg, Sweden) Publisher's Version
	Birkedal, Lars	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Scala Step-by-Step: Soundness ..." Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, and Robbert Krebbers (Delft University of Technology, Netherlands; IRIF, France; University of Paris, France; CNRS, France; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Brachthäuser, Jonathan Immanuel	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Compiling Effect Handlers ..." Compiling Effect Handlers in Capability-Passing Style Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann (University of Tübingen, Germany) Publisher's Version Proc. ACM Program. Lang., vol. 4, issue ICFP: "Effect Handlers, Evidently ..." Effect Handlers, Evidently Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen (Microsoft Research, USA; University of Tübingen, Germany; University of Edinburgh, UK) Publisher's Version
	Charguéraud, Arthur	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Separation Logic for Sequential ..." Separation Logic for Sequential Programs (Functional Pearl) Arthur Charguéraud (Inria, France; University of Strasbourg, France; CNRS, France; ICube, France) Publisher's Version
	Chen, Xiaohong	Proc. ACM Program. Lang., vol. 4, issue ICFP: "A General Approach to Define ..." A General Approach to Define Binders using Matching Logic Xiaohong Chen and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA) Publisher's Version
	Choudhury, Vikraman	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Recovering Purity with Comonads ..." Recovering Purity with Comonads and Capabilities Vikraman Choudhury and Neel Krishnaswami (Indiana University, USA; University of Cambridge, UK) Publisher's Version
	Chugh, Ravi	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Program Sketching with Live ..." Program Sketching with Live Bidirectional Evaluation Justin Lubin, Nick Collins, Cyrus Omar, and Ravi Chugh (University of Chicago, USA; University of Michigan, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Collins, Nick	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Program Sketching with Live ..." Program Sketching with Live Bidirectional Evaluation Justin Lubin, Nick Collins, Cyrus Omar, and Ravi Chugh (University of Chicago, USA; University of Michigan, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Cutler, Joseph W.	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Denotational Recurrence Extraction ..." Denotational Recurrence Extraction for Amortized Analysis Joseph W. Cutler, Daniel R. Licata, and Norman Danner (Wesleyan University, USA) Publisher's Version
	Danner, Norman	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Denotational Recurrence Extraction ..." Denotational Recurrence Extraction for Amortized Analysis Joseph W. Cutler, Daniel R. Licata, and Norman Danner (Wesleyan University, USA) Publisher's Version
	Darragh, Pierce	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Parsing with Zippers (Functional ..." Parsing with Zippers (Functional Pearl) Pierce Darragh and Michael D. Adams (University of Utah, USA; University of Michigan, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	De Moura, Leonardo	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Sealing Pointer-Based Optimizations ..." Sealing Pointer-Based Optimizations behind Pure Functions Daniel Selsam, Simon Hudon, and Leonardo de Moura (Microsoft Research, USA; Carnegie Mellon University, USA) Publisher's Version
	Dhiman, Atul	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Retrofitting Parallelism onto ..." Retrofitting Parallelism onto OCaml KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, and Anil Madhavapeddy (IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK) Publisher's Version Artifacts Functional
	Dolan, Stephen	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Retrofitting Parallelism onto ..." Retrofitting Parallelism onto OCaml KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, and Anil Madhavapeddy (IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK) Publisher's Version Artifacts Functional
	Downen, Paul	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Kinds Are Calling Conventions ..." Kinds Are Calling Conventions Paul Downen, Zena M. Ariola, Simon Peyton Jones, and Richard A. Eisenberg (University of Oregon, USA; Microsoft Research, UK; Bryn Mawr College, USA; Tweag I/O, USA) Publisher's Version
	Eisenberg, Richard A.	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Kinds Are Calling Conventions ..." Kinds Are Calling Conventions Paul Downen, Zena M. Ariola, Simon Peyton Jones, and Richard A. Eisenberg (University of Oregon, USA; Microsoft Research, UK; Bryn Mawr College, USA; Tweag I/O, USA) Publisher's Version
	Fromherz, Aymeric	Proc. ACM Program. Lang., vol. 4, issue ICFP: "SteelCore: An Extensible Concurrent ..." SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, and Guido Martínez (Microsoft Research, USA; Microsoft Research, India; Carnegie Mellon University, USA; Inria, France; University of Ljubljana, Slovenia; CIFASIS-CONICET, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Genet, Thomas	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Regular Language Type Inference ..." Regular Language Type Inference with Term Rewriting Timothée Haudebourg, Thomas Genet, and Thomas Jensen (University of Rennes, France; Inria, France; CNRS, France; IRISA, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Giarrusso, Paolo G.	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Scala Step-by-Step: Soundness ..." Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, and Robbert Krebbers (Delft University of Technology, Netherlands; IRIF, France; University of Paris, France; CNRS, France; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Gorlatch, Sergei	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Achieving High-Performance ..." Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies Bastian Hagedorn, Johannes Lenfers, Thomas Kœhler, Xueying Qin, Sergei Gorlatch, and Michel Steuwer (University of Münster, Germany; University of Glasgow, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Graf, Sebastian	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Lower Your Guards: A Compositional ..." Lower Your Guards: A Compositional Pattern-Match Coverage Checker Sebastian Graf, Simon Peyton Jones, and Ryan G. Scott (KIT, Germany; Microsoft Research, UK; Indiana University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Griffin, Jeremiah	Proc. ACM Program. Lang., vol. 4, issue ICFP: "TLC: Temporal Logic of Distributed ..." TLC: Temporal Logic of Distributed Components Jeremiah Griffin, Mohsen Lesani, Narges Shadab, and Xizhe Yin (University of California at Riverside, USA) Publisher's Version
	Hage, Jurriaan	Proc. ACM Program. Lang., vol. 4, issue ICFP: "A Quick Look at Impredicativity ..." A Quick Look at Impredicativity Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, and Dimitrios Vytiniotis (47 Degrees, Spain; Utrecht University, Netherlands; Microsoft Research, UK; DeepMind, UK) Publisher's Version
	Hagedorn, Bastian	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Achieving High-Performance ..." Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies Bastian Hagedorn, Johannes Lenfers, Thomas Kœhler, Xueying Qin, Sergei Gorlatch, and Michel Steuwer (University of Münster, Germany; University of Glasgow, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Hance, Travis	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Liquid Information Flow Control ..." Liquid Information Flow Control Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, and Armando Solar-Lezama (University of California at San Diego, USA; Carnegie Mellon University, USA; Technion, Israel; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Haudebourg, Timothée	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Regular Language Type Inference ..." Regular Language Type Inference with Term Rewriting Timothée Haudebourg, Thomas Genet, and Thomas Jensen (University of Rennes, France; Inria, France; CNRS, France; IRISA, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Hillerström, Daniel	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Effects for Efficiency: Asymptotic ..." Effects for Efficiency: Asymptotic Speedup with First-Class Control Daniel Hillerström, Sam Lindley, and John Longley (University of Edinburgh, UK; Imperial College London, UK; Heriot-Watt University, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Proc. ACM Program. Lang., vol. 4, issue ICFP: "Effect Handlers, Evidently ..." Effect Handlers, Evidently Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen (Microsoft Research, USA; University of Tübingen, Germany; University of Edinburgh, UK) Publisher's Version
	Hoffmann, Jan	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Liquid Resource Types ..." Liquid Resource Types Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, and Nadia Polikarpova (University of California at San Diego, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Proc. ACM Program. Lang., vol. 4, issue ICFP: "Raising Expectations: Automating ..." Raising Expectations: Automating Expected Cost Analysis with Types Di Wang, David M. Kahn, and Jan Hoffmann (Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Hudon, Simon	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Sealing Pointer-Based Optimizations ..." Sealing Pointer-Based Optimizations behind Pure Functions Daniel Selsam, Simon Hudon, and Leonardo de Moura (Microsoft Research, USA; Carnegie Mellon University, USA) Publisher's Version
	Igarashi, Atsushi	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Signature Restriction for ..." Signature Restriction for Polymorphic Algebraic Effects Taro Sekiyama, Takeshi Tsukada, and Atsushi Igarashi (National Institute of Informatics, Japan; SOKENDAI, Japan; University of Tokyo, Japan; Kyoto University, Japan) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Itzhaky, Shachar	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Liquid Information Flow Control ..." Liquid Information Flow Control Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, and Armando Solar-Lezama (University of California at San Diego, USA; Carnegie Mellon University, USA; Technion, Israel; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Jaffer, Sadiq	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Retrofitting Parallelism onto ..." Retrofitting Parallelism onto OCaml KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, and Anil Madhavapeddy (IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK) Publisher's Version Artifacts Functional
	Jenkins, Christopher	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Strong Functional Pearl: Harper’s ..." Strong Functional Pearl: Harper’s Regular-Expression Matcher in Cedille Aaron Stump, Christopher Jenkins, Stephan Spahn, and Colin McDonald (University of Iowa, USA; University of Notre Dame, USA) Publisher's Version
	Jensen, Thomas	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Regular Language Type Inference ..." Regular Language Type Inference with Term Rewriting Timothée Haudebourg, Thomas Genet, and Thomas Jensen (University of Rennes, France; Inria, France; CNRS, France; IRISA, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Proc. ACM Program. Lang., vol. 4, issue ICFP: "Stable Relations and Abstract ..." Stable Relations and Abstract Interpretation of Higher-Order Programs Benoît Montagu and Thomas Jensen (Inria, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Jones, Timothy M.	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Duplo: A Framework for OCaml ..." Duplo: A Framework for OCaml Post-Link Optimisation Nandor Licker and Timothy M. Jones (University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Jourdan, Jacques-Henri	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Cosmo: A Concurrent Separation ..." Cosmo: A Concurrent Separation Logic for Multicore OCaml Glen Mével, Jacques-Henri Jourdan, and François Pottier (Inria, France; University of Paris-Saclay, France; CNRS, France; LRI, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Kahn, David M.	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Raising Expectations: Automating ..." Raising Expectations: Automating Expected Cost Analysis with Types Di Wang, David M. Kahn, and Jan Hoffmann (Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Kelly, Tom	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Retrofitting Parallelism onto ..." Retrofitting Parallelism onto OCaml KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, and Anil Madhavapeddy (IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK) Publisher's Version Artifacts Functional
	Knoth, Tristan	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Liquid Resource Types ..." Liquid Resource Types Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, and Nadia Polikarpova (University of California at San Diego, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Kœhler, Thomas	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Achieving High-Performance ..." Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies Bastian Hagedorn, Johannes Lenfers, Thomas Kœhler, Xueying Qin, Sergei Gorlatch, and Michel Steuwer (University of Münster, Germany; University of Glasgow, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Kovács, András	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Elaboration with First-Class ..." Elaboration with First-Class Implicit Function Types András Kovács (Eötvös Loránd University, Hungary) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Krebbers, Robbert	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Scala Step-by-Step: Soundness ..." Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, and Robbert Krebbers (Delft University of Technology, Netherlands; IRIF, France; University of Paris, France; CNRS, France; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Krishnaswami, Neel	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Recovering Purity with Comonads ..." Recovering Purity with Comonads and Capabilities Vikraman Choudhury and Neel Krishnaswami (Indiana University, USA; University of Cambridge, UK) Publisher's Version
	Leijen, Daan	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Effect Handlers, Evidently ..." Effect Handlers, Evidently Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen (Microsoft Research, USA; University of Tübingen, Germany; University of Edinburgh, UK) Publisher's Version
	Lenfers, Johannes	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Achieving High-Performance ..." Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies Bastian Hagedorn, Johannes Lenfers, Thomas Kœhler, Xueying Qin, Sergei Gorlatch, and Michel Steuwer (University of Münster, Germany; University of Glasgow, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lesani, Mohsen	Proc. ACM Program. Lang., vol. 4, issue ICFP: "TLC: Temporal Logic of Distributed ..." TLC: Temporal Logic of Distributed Components Jeremiah Griffin, Mohsen Lesani, Narges Shadab, and Xizhe Yin (University of California at Riverside, USA) Publisher's Version
	Licata, Daniel R.	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Denotational Recurrence Extraction ..." Denotational Recurrence Extraction for Amortized Analysis Joseph W. Cutler, Daniel R. Licata, and Norman Danner (Wesleyan University, USA) Publisher's Version
	Licker, Nandor	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Duplo: A Framework for OCaml ..." Duplo: A Framework for OCaml Post-Link Optimisation Nandor Licker and Timothy M. Jones (University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lindley, Sam	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Effects for Efficiency: Asymptotic ..." Effects for Efficiency: Asymptotic Speedup with First-Class Control Daniel Hillerström, Sam Lindley, and John Longley (University of Edinburgh, UK; Imperial College London, UK; Heriot-Watt University, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Longley, John	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Effects for Efficiency: Asymptotic ..." Effects for Efficiency: Asymptotic Speedup with First-Class Control Daniel Hillerström, Sam Lindley, and John Longley (University of Edinburgh, UK; Imperial College London, UK; Heriot-Watt University, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lubin, Justin	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Program Sketching with Live ..." Program Sketching with Live Bidirectional Evaluation Justin Lubin, Nick Collins, Cyrus Omar, and Ravi Chugh (University of Chicago, USA; University of Michigan, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Madhavapeddy, Anil	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Retrofitting Parallelism onto ..." Retrofitting Parallelism onto OCaml KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, and Anil Madhavapeddy (IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK) Publisher's Version Artifacts Functional
	Martínez, Guido	Proc. ACM Program. Lang., vol. 4, issue ICFP: "SteelCore: An Extensible Concurrent ..." SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, and Guido Martínez (Microsoft Research, USA; Microsoft Research, India; Carnegie Mellon University, USA; Inria, France; University of Ljubljana, Slovenia; CIFASIS-CONICET, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Matsuda, Kazutaka	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Sparcl: A Language for Partially-Invertible ..." Sparcl: A Language for Partially-Invertible Computation Kazutaka Matsuda and Meng Wang (Tohoku University, Japan; University of Bristol, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	McDonald, Colin	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Strong Functional Pearl: Harper’s ..." Strong Functional Pearl: Harper’s Regular-Expression Matcher in Cedille Aaron Stump, Christopher Jenkins, Stephan Spahn, and Colin McDonald (University of Iowa, USA; University of Notre Dame, USA) Publisher's Version
	Meiklejohn, Christopher	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Composing and Decomposing ..." Composing and Decomposing Op-Based CRDTs with Semidirect Products Matthew Weidner, Heather Miller, and Christopher Meiklejohn (Carnegie Mellon University, USA) Publisher's Version
	Merigoux, Denis	Proc. ACM Program. Lang., vol. 4, issue ICFP: "SteelCore: An Extensible Concurrent ..." SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, and Guido Martínez (Microsoft Research, USA; Microsoft Research, India; Carnegie Mellon University, USA; Inria, France; University of Ljubljana, Slovenia; CIFASIS-CONICET, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Mével, Glen	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Cosmo: A Concurrent Separation ..." Cosmo: A Concurrent Separation Logic for Multicore OCaml Glen Mével, Jacques-Henri Jourdan, and François Pottier (Inria, France; University of Paris-Saclay, France; CNRS, France; LRI, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Miller, Heather	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Composing and Decomposing ..." Composing and Decomposing Op-Based CRDTs with Semidirect Products Matthew Weidner, Heather Miller, and Christopher Meiklejohn (Carnegie Mellon University, USA) Publisher's Version
	Montagu, Benoît	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Stable Relations and Abstract ..." Stable Relations and Abstract Interpretation of Higher-Order Programs Benoît Montagu and Thomas Jensen (Inria, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Omar, Cyrus	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Program Sketching with Live ..." Program Sketching with Live Bidirectional Evaluation Justin Lubin, Nick Collins, Cyrus Omar, and Ravi Chugh (University of Chicago, USA; University of Michigan, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Ostermann, Klaus	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Compiling Effect Handlers ..." Compiling Effect Handlers in Capability-Passing Style Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann (University of Tübingen, Germany) Publisher's Version
	Palmer, Zachary	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Higher-Order Demand-Driven ..." Higher-Order Demand-Driven Symbolic Evaluation Zachary Palmer, Theodore Park, Scott Smith, and Shiwei Weng (Swarthmore College, USA; Johns Hopkins University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Parimala, Sudha	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Retrofitting Parallelism onto ..." Retrofitting Parallelism onto OCaml KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, and Anil Madhavapeddy (IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK) Publisher's Version Artifacts Functional
	Park, Theodore	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Higher-Order Demand-Driven ..." Higher-Order Demand-Driven Symbolic Evaluation Zachary Palmer, Theodore Park, Scott Smith, and Shiwei Weng (Swarthmore College, USA; Johns Hopkins University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Parreaux, Lionel	Proc. ACM Program. Lang., vol. 4, issue ICFP: "The Simple Essence of Algebraic ..." The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) Lionel Parreaux (EPFL, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Peyton Jones, Simon	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Kinds Are Calling Conventions ..." Kinds Are Calling Conventions Paul Downen, Zena M. Ariola, Simon Peyton Jones, and Richard A. Eisenberg (University of Oregon, USA; Microsoft Research, UK; Bryn Mawr College, USA; Tweag I/O, USA) Publisher's Version Proc. ACM Program. Lang., vol. 4, issue ICFP: "Lower Your Guards: A Compositional ..." Lower Your Guards: A Compositional Pattern-Match Coverage Checker Sebastian Graf, Simon Peyton Jones, and Ryan G. Scott (KIT, Germany; Microsoft Research, UK; Indiana University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Proc. ACM Program. Lang., vol. 4, issue ICFP: "A Quick Look at Impredicativity ..." A Quick Look at Impredicativity Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, and Dimitrios Vytiniotis (47 Degrees, Spain; Utrecht University, Netherlands; Microsoft Research, UK; DeepMind, UK) Publisher's Version
	Pickering, Matthew	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Staged Selective Parser Combinators ..." Staged Selective Parser Combinators Jamie Willis, Nicolas Wu, and Matthew Pickering (Imperial College London, UK; University of Bristol, UK) Publisher's Version
	Polikarpova, Nadia	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Liquid Information Flow Control ..." Liquid Information Flow Control Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, and Armando Solar-Lezama (University of California at San Diego, USA; Carnegie Mellon University, USA; Technion, Israel; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Proc. ACM Program. Lang., vol. 4, issue ICFP: "Liquid Resource Types ..." Liquid Resource Types Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, and Nadia Polikarpova (University of California at San Diego, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Pottier, François	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Cosmo: A Concurrent Separation ..." Cosmo: A Concurrent Separation Logic for Multicore OCaml Glen Mével, Jacques-Henri Jourdan, and François Pottier (Inria, France; University of Paris-Saclay, France; CNRS, France; LRI, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Qin, Xueying	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Achieving High-Performance ..." Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies Bastian Hagedorn, Johannes Lenfers, Thomas Kœhler, Xueying Qin, Sergei Gorlatch, and Michel Steuwer (University of Münster, Germany; University of Glasgow, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Radanne, Gabriel	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Kindly Bent to Free Us ..." Kindly Bent to Free Us Gabriel Radanne, Hannes Saffrich, and Peter Thiemann (Inria, France; University of Freiburg, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Rastogi, Aseem	Proc. ACM Program. Lang., vol. 4, issue ICFP: "SteelCore: An Extensible Concurrent ..." SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, and Guido Martínez (Microsoft Research, USA; Microsoft Research, India; Carnegie Mellon University, USA; Inria, France; University of Ljubljana, Slovenia; CIFASIS-CONICET, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Reynolds, Adam	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Liquid Resource Types ..." Liquid Resource Types Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, and Nadia Polikarpova (University of California at San Diego, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Rioux, Nick	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Computation Focusing ..." Computation Focusing Nick Rioux and Steve Zdancewic (University of Pennsylvania, USA) Publisher's Version
	Roşu, Grigore	Proc. ACM Program. Lang., vol. 4, issue ICFP: "A General Approach to Define ..." A General Approach to Define Binders using Matching Logic Xiaohong Chen and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA) Publisher's Version
	Saffrich, Hannes	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Kindly Bent to Free Us ..." Kindly Bent to Free Us Gabriel Radanne, Hannes Saffrich, and Peter Thiemann (Inria, France; University of Freiburg, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Sahoo, Anmol	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Retrofitting Parallelism onto ..." Retrofitting Parallelism onto OCaml KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, and Anil Madhavapeddy (IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK) Publisher's Version Artifacts Functional
	Schuster, Philipp	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Compiling Effect Handlers ..." Compiling Effect Handlers in Capability-Passing Style Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann (University of Tübingen, Germany) Publisher's Version Proc. ACM Program. Lang., vol. 4, issue ICFP: "Effect Handlers, Evidently ..." Effect Handlers, Evidently Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen (Microsoft Research, USA; University of Tübingen, Germany; University of Edinburgh, UK) Publisher's Version
	Scott, Ryan G.	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Lower Your Guards: A Compositional ..." Lower Your Guards: A Compositional Pattern-Match Coverage Checker Sebastian Graf, Simon Peyton Jones, and Ryan G. Scott (KIT, Germany; Microsoft Research, UK; Indiana University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Sekiyama, Taro	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Signature Restriction for ..." Signature Restriction for Polymorphic Algebraic Effects Taro Sekiyama, Takeshi Tsukada, and Atsushi Igarashi (National Institute of Informatics, Japan; SOKENDAI, Japan; University of Tokyo, Japan; Kyoto University, Japan) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Selsam, Daniel	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Sealing Pointer-Based Optimizations ..." Sealing Pointer-Based Optimizations behind Pure Functions Daniel Selsam, Simon Hudon, and Leonardo de Moura (Microsoft Research, USA; Carnegie Mellon University, USA) Publisher's Version
	Serrano, Alejandro	Proc. ACM Program. Lang., vol. 4, issue ICFP: "A Quick Look at Impredicativity ..." A Quick Look at Impredicativity Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, and Dimitrios Vytiniotis (47 Degrees, Spain; Utrecht University, Netherlands; Microsoft Research, UK; DeepMind, UK) Publisher's Version
	Shadab, Narges	Proc. ACM Program. Lang., vol. 4, issue ICFP: "TLC: Temporal Logic of Distributed ..." TLC: Temporal Logic of Distributed Components Jeremiah Griffin, Mohsen Lesani, Narges Shadab, and Xizhe Yin (University of California at Riverside, USA) Publisher's Version
	Sivaramakrishnan, KC	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Retrofitting Parallelism onto ..." Retrofitting Parallelism onto OCaml KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, and Anil Madhavapeddy (IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK) Publisher's Version Artifacts Functional
	Smith, Scott	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Higher-Order Demand-Driven ..." Higher-Order Demand-Driven Symbolic Evaluation Zachary Palmer, Theodore Park, Scott Smith, and Shiwei Weng (Swarthmore College, USA; Johns Hopkins University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Solar-Lezama, Armando	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Liquid Information Flow Control ..." Liquid Information Flow Control Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, and Armando Solar-Lezama (University of California at San Diego, USA; Carnegie Mellon University, USA; Technion, Israel; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Spahn, Stephan	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Strong Functional Pearl: Harper’s ..." Strong Functional Pearl: Harper’s Regular-Expression Matcher in Cedille Aaron Stump, Christopher Jenkins, Stephan Spahn, and Colin McDonald (University of Iowa, USA; University of Notre Dame, USA) Publisher's Version
	Stefan, Deian	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Liquid Information Flow Control ..." Liquid Information Flow Control Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, and Armando Solar-Lezama (University of California at San Diego, USA; Carnegie Mellon University, USA; Technion, Israel; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Stefanesco, Léo	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Scala Step-by-Step: Soundness ..." Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, and Robbert Krebbers (Delft University of Technology, Netherlands; IRIF, France; University of Paris, France; CNRS, France; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Steuwer, Michel	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Achieving High-Performance ..." Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies Bastian Hagedorn, Johannes Lenfers, Thomas Kœhler, Xueying Qin, Sergei Gorlatch, and Michel Steuwer (University of Münster, Germany; University of Glasgow, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Stump, Aaron	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Strong Functional Pearl: Harper’s ..." Strong Functional Pearl: Harper’s Regular-Expression Matcher in Cedille Aaron Stump, Christopher Jenkins, Stephan Spahn, and Colin McDonald (University of Iowa, USA; University of Notre Dame, USA) Publisher's Version
	Swamy, Nikhil	Proc. ACM Program. Lang., vol. 4, issue ICFP: "SteelCore: An Extensible Concurrent ..." SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, and Guido Martínez (Microsoft Research, USA; Microsoft Research, India; Carnegie Mellon University, USA; Inria, France; University of Ljubljana, Slovenia; CIFASIS-CONICET, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Tejiščák, Matúš	Proc. ACM Program. Lang., vol. 4, issue ICFP: "A Dependently Typed Calculus ..." A Dependently Typed Calculus with Pattern Matching and Erasure Inference Matúš Tejiščák (University of St. Andrews, UK) Publisher's Version
	Thiemann, Peter	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Kindly Bent to Free Us ..." Kindly Bent to Free Us Gabriel Radanne, Hannes Saffrich, and Peter Thiemann (Inria, France; University of Freiburg, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Timany, Amin	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Scala Step-by-Step: Soundness ..." Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, and Robbert Krebbers (Delft University of Technology, Netherlands; IRIF, France; University of Paris, France; CNRS, France; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Tsukada, Takeshi	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Signature Restriction for ..." Signature Restriction for Polymorphic Algebraic Effects Taro Sekiyama, Takeshi Tsukada, and Atsushi Igarashi (National Institute of Informatics, Japan; SOKENDAI, Japan; University of Tokyo, Japan; Kyoto University, Japan) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Vytiniotis, Dimitrios	Proc. ACM Program. Lang., vol. 4, issue ICFP: "A Quick Look at Impredicativity ..." A Quick Look at Impredicativity Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, and Dimitrios Vytiniotis (47 Degrees, Spain; Utrecht University, Netherlands; Microsoft Research, UK; DeepMind, UK) Publisher's Version
	Wang, Di	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Liquid Resource Types ..." Liquid Resource Types Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, and Nadia Polikarpova (University of California at San Diego, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Proc. ACM Program. Lang., vol. 4, issue ICFP: "Raising Expectations: Automating ..." Raising Expectations: Automating Expected Cost Analysis with Types Di Wang, David M. Kahn, and Jan Hoffmann (Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Wang, Meng	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Sparcl: A Language for Partially-Invertible ..." Sparcl: A Language for Partially-Invertible Computation Kazutaka Matsuda and Meng Wang (Tohoku University, Japan; University of Bristol, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Weidner, Matthew	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Composing and Decomposing ..." Composing and Decomposing Op-Based CRDTs with Semidirect Products Matthew Weidner, Heather Miller, and Christopher Meiklejohn (Carnegie Mellon University, USA) Publisher's Version
	Weng, Shiwei	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Higher-Order Demand-Driven ..." Higher-Order Demand-Driven Symbolic Evaluation Zachary Palmer, Theodore Park, Scott Smith, and Shiwei Weng (Swarthmore College, USA; Johns Hopkins University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	White, Leo	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Retrofitting Parallelism onto ..." Retrofitting Parallelism onto OCaml KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, and Anil Madhavapeddy (IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK) Publisher's Version Artifacts Functional
	Willis, Jamie	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Staged Selective Parser Combinators ..." Staged Selective Parser Combinators Jamie Willis, Nicolas Wu, and Matthew Pickering (Imperial College London, UK; University of Bristol, UK) Publisher's Version
	Wu, Nicolas	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Staged Selective Parser Combinators ..." Staged Selective Parser Combinators Jamie Willis, Nicolas Wu, and Matthew Pickering (Imperial College London, UK; University of Bristol, UK) Publisher's Version
	Xie, Ningning	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Effect Handlers, Evidently ..." Effect Handlers, Evidently Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen (Microsoft Research, USA; University of Tübingen, Germany; University of Edinburgh, UK) Publisher's Version
	Yang, Jean	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Liquid Information Flow Control ..." Liquid Information Flow Control Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, and Armando Solar-Lezama (University of California at San Diego, USA; Carnegie Mellon University, USA; Technion, Israel; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Yin, Xizhe	Proc. ACM Program. Lang., vol. 4, issue ICFP: "TLC: Temporal Logic of Distributed ..." TLC: Temporal Logic of Distributed Components Jeremiah Griffin, Mohsen Lesani, Narges Shadab, and Xizhe Yin (University of California at Riverside, USA) Publisher's Version
	Zdancewic, Steve	Proc. ACM Program. Lang., vol. 4, issue ICFP: "Computation Focusing ..." Computation Focusing Nick Rioux and Steve Zdancewic (University of Pennsylvania, USA) Publisher's Version

122 authors

proc time: 0.09