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 Article: icfp20main-p24-p doi:10.1145/3408972
	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 Article: icfp20main-p101-p doi:10.1145/3408990
	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 Article: icfp20main-p102-p doi:10.1145/3409003
	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 Article: icfp20main-p93-p doi:10.1145/3408986
	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 Article: icfp20main-p24-p doi:10.1145/3408972
	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 Article: icfp20main-p32-p doi:10.1145/3408996
	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 Article: icfp20main-p43-p doi:10.1145/3408975 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 Article: icfp20main-p62-p doi:10.1145/3408981
	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 Article: icfp20main-p46-p doi:10.1145/3408998
	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 Article: icfp20main-p5-p doi:10.1145/3408970
	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 Article: icfp20main-p73-p doi:10.1145/3408993
	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 Article: icfp20main-p104-p doi:10.1145/3408991
	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 Article: icfp20main-p104-p doi:10.1145/3408991
	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 Article: icfp20main-p7-p doi:10.1145/3408979
	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 Article: icfp20main-p7-p doi:10.1145/3408979
	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 Article: icfp20main-p101-p doi:10.1145/3408990
	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 Article: icfp20main-p38-p doi:10.1145/3408997
	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 Article: icfp20main-p65-p doi:10.1145/3408995
	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 Article: icfp20main-p65-p doi:10.1145/3408995
	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 Article: icfp20main-p93-p doi:10.1145/3408986
	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 Article: icfp20main-p93-p doi:10.1145/3408986
	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 Article: icfp20main-p102-p doi:10.1145/3409003
	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 Article: icfp20main-p15-p doi:10.1145/3408994
	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 Article: icfp20main-p32-p doi:10.1145/3408996
	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 Article: icfp20main-p18-p doi:10.1145/3408974
	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 Article: icfp20main-p57-p doi:10.1145/3408989
	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 Article: icfp20main-p11-p doi:10.1145/3409005
	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 Article: icfp20main-p58-p doi:10.1145/3408971
	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 Article: icfp20main-p18-p doi:10.1145/3408974
	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 Article: icfp20main-p86-p doi:10.1145/3408987
	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 Article: icfp20main-p15-p doi:10.1145/3408994
	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 Article: icfp20main-p71-p doi:10.1145/3408982 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 Article: icfp20main-p62-p doi:10.1145/3408981
	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 Article: icfp20main-p83-p doi:10.1145/3408988 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 Article: icfp20main-p78-p doi:10.1145/3408992
	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 Article: icfp20main-p38-p doi:10.1145/3408997
	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 Article: icfp20main-p98-p doi:10.1145/3408999
	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 Article: icfp20main-p86-p doi:10.1145/3408987
	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 Article: icfp20main-p65-p doi:10.1145/3408995
	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 Article: icfp20main-p34-p doi:10.1145/3409004
	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 Article: icfp20main-p15-p doi:10.1145/3408994 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 Article: icfp20main-p8-p doi:10.1145/3409001
	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 Article: icfp20main-p13-p doi:10.1145/3408980
	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 Article: icfp20main-p48-p doi:10.1145/3408978
	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 Article: icfp20main-p78-p doi:10.1145/3408992
	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 Article: icfp20main-p65-p doi:10.1145/3408995
	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 Article: icfp20main-p83-p doi:10.1145/3408988
	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 Article: icfp20main-p18-p doi:10.1145/3408974
	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 Article: icfp20main-p21-p doi:10.1145/3408983
	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 Article: icfp20main-p32-p doi:10.1145/3408996
	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 Article: icfp20main-p73-p doi:10.1145/3408993
	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 Article: icfp20main-p62-p doi:10.1145/3408981
	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 Article: icfp20main-p18-p doi:10.1145/3408974
	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 Article: icfp20main-p11-p doi:10.1145/3409005
	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 Article: icfp20main-p7-p doi:10.1145/3408979
	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 Article: icfp20main-p13-p doi:10.1145/3408980
	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 Article: icfp20main-p71-p doi:10.1145/3408982
	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 Article: icfp20main-p71-p doi:10.1145/3408982
	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 Article: icfp20main-p104-p doi:10.1145/3408991
	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 Article: icfp20main-p65-p doi:10.1145/3408995
	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 Article: icfp20main-p102-p doi:10.1145/3409003
	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 Article: icfp20main-p79-p doi:10.1145/3409000
	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 Article: icfp20main-p34-p doi:10.1145/3409004
	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 Article: icfp20main-p87-p doi:10.1145/3408976
	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 Article: icfp20main-p102-p doi:10.1145/3409003
	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 Article: icfp20main-p48-p doi:10.1145/3408978
	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 Article: icfp20main-p87-p doi:10.1145/3408976
	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 Article: icfp20main-p8-p doi:10.1145/3409001
	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 Article: icfp20main-p104-p doi:10.1145/3408991
	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 Article: icfp20main-p43-p doi:10.1145/3408975
	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 Article: icfp20main-p69-p doi:10.1145/3408984
	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 Article: icfp20main-p65-p doi:10.1145/3408995
	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 Article: icfp20main-p69-p doi:10.1145/3408984
	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 Article: icfp20main-p106-p doi:10.1145/3409006
	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 Article: icfp20main-p93-p doi:10.1145/3408986 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 Article: icfp20main-p57-p doi:10.1145/3408989 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 Article: icfp20main-p58-p doi:10.1145/3408971
	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 Article: icfp20main-p63-p doi:10.1145/3409002
	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 Article: icfp20main-p86-p doi:10.1145/3408987 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 Article: icfp20main-p83-p doi:10.1145/3408988
	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 Article: icfp20main-p48-p doi:10.1145/3408978
	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 Article: icfp20main-p18-p doi:10.1145/3408974
	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 Article: icfp20main-p74-p doi:10.1145/3408985
	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 Article: icfp20main-p102-p doi:10.1145/3409003
	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 Article: icfp20main-p83-p doi:10.1145/3408988
	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 Article: icfp20main-p75-p doi:10.1145/3408977
	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 Article: icfp20main-p5-p doi:10.1145/3408970
	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 Article: icfp20main-p74-p doi:10.1145/3408985
	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 Article: icfp20main-p65-p doi:10.1145/3408995
	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 Article: icfp20main-p43-p doi:10.1145/3408975 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 Article: icfp20main-p62-p doi:10.1145/3408981
	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 Article: icfp20main-p57-p doi:10.1145/3408989
	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 Article: icfp20main-p98-p doi:10.1145/3408999
	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 Article: icfp20main-p38-p doi:10.1145/3408997
	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 Article: icfp20main-p58-p doi:10.1145/3408971
	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 Article: icfp20main-p11-p doi:10.1145/3409005
	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 Article: icfp20main-p65-p doi:10.1145/3408995
	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 Article: icfp20main-p69-p doi:10.1145/3408984
	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 Article: icfp20main-p86-p doi:10.1145/3408987
	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 Article: icfp20main-p34-p doi:10.1145/3409004
	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 Article: icfp20main-p86-p doi:10.1145/3408987
	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 Article: icfp20main-p32-p doi:10.1145/3408996
	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 Article: icfp20main-p18-p doi:10.1145/3408974
	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 Article: icfp20main-p34-p doi:10.1145/3409004
	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 Article: icfp20main-p102-p doi:10.1145/3409003
	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 Article: icfp20main-p17-p doi:10.1145/3408973
	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 Article: icfp20main-p74-p doi:10.1145/3408985
	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 Article: icfp20main-p32-p doi:10.1145/3408996
	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 Article: icfp20main-p98-p doi:10.1145/3408999
	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 Article: icfp20main-p58-p doi:10.1145/3408971
	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 Article: icfp20main-p83-p doi:10.1145/3408988 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 Article: icfp20main-p78-p doi:10.1145/3408992
	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 Article: icfp20main-p79-p doi:10.1145/3409000
	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 Article: icfp20main-p87-p doi:10.1145/3408976
	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 Article: icfp20main-p69-p doi:10.1145/3408984
	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 Article: icfp20main-p65-p doi:10.1145/3408995
	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 Article: icfp20main-p63-p doi:10.1145/3409002
	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 Article: icfp20main-p63-p doi:10.1145/3409002
	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 Article: icfp20main-p62-p doi:10.1145/3408981
	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 Article: icfp20main-p86-p doi:10.1145/3408987
	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 Article: icfp20main-p11-p doi:10.1145/3409005
	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 Article: icfp20main-p75-p doi:10.1145/3408977

122 authors

proc time: 0.17