ICFP 2019 – Author Index

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

	Abel, Andreas	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Cubical Agda: A Dependently ..." Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types Andrea Vezzosi, Anders Mörtberg, and Andreas Abel (IT University of Copenhagen, Denmark; Stockholm University, Sweden; Carnegie Mellon University, USA; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p164-p (type: Full Paper) doi:10.1145/3341691
	Acar, Umut A.	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Fairness in Responsive Parallelism ..." Fairness in Responsive Parallelism Stefan K. Muller, Sam Westrick, and Umut A. Acar (Carnegie Mellon University, USA; Inria, France) Publisher's Version Article: icfp19main-p349-p (type: Full Paper) doi:10.1145/3341685
	Ahman, Danel	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Dijkstra Monads for All ..." Dijkstra Monads for All Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas, and Éric Tanter (Inria, France; ENS, France; University of Ljubljana, Slovenia; University of Strathclyde, UK; CIFASIS-CONICET, Argentina; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p40-p (type: Full Paper) doi:10.1145/3341708
	Ahmed, Amal	Proc. ACM Program. Lang., vol. 3, issue ICFP: "The Next 700 Compiler Correctness ..." The Next 700 Compiler Correctness Theorems (Functional Pearl) Daniel Patterson and Amal Ahmed (Northeastern University, USA) Publisher's Version Article: icfp19main-p201-p (type: Full Paper) doi:10.1145/3341689
	Albarghouthi, Aws	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Synthesizing Differentially ..." Synthesizing Differentially Private Programs Calvin Smith and Aws Albarghouthi (University of Wisconsin-Madison, USA) Publisher's Version Article: icfp19main-p179-p (type: Full Paper) doi:10.1145/3341698
	Algehed, Maximilian	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Simple Noninterference from ..." Simple Noninterference from Parametricity Maximilian Algehed and Jean-Philippe Bernardy (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) Publisher's Version Article: icfp19main-p12-p (type: Full Paper) doi:10.1145/3341693
	Appel, Andrew W.	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Closure Conversion Is Safe ..." Closure Conversion Is Safe for Space Zoe Paraskevopoulou and Andrew W. Appel (Princeton University, USA) Publisher's Version Artifacts Functional Article: icfp19main-p32-p (type: Full Paper) doi:10.1145/3341687
	Atkey, Robert	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Dijkstra Monads for All ..." Dijkstra Monads for All Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas, and Éric Tanter (Inria, France; ENS, France; University of Ljubljana, Slovenia; University of Strathclyde, UK; CIFASIS-CONICET, Argentina; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p40-p (type: Full Paper) doi:10.1145/3341708
	Baanen, Tim	Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Predicate Transformer Semantics ..." A Predicate Transformer Semantics for Effects (Functional Pearl) Wouter Swierstra and Tim Baanen (Utrecht University, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p57-p (type: Full Paper) doi:10.1145/3341707
	Bahr, Patrick	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Simply RaTT: A Fitch-Style ..." Simply RaTT: A Fitch-Style Modal Calculus for Reactive Programming without Space Leaks Patrick Bahr, Christian Uldal Graulund, and Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p148-p (type: Full Paper) doi:10.1145/3341713
	Bernardy, Jean-Philippe	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Simple Noninterference from ..." Simple Noninterference from Parametricity Maximilian Algehed and Jean-Philippe Bernardy (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) Publisher's Version Article: icfp19main-p12-p (type: Full Paper) doi:10.1145/3341693
	Birkedal, Lars	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Mechanized Relational Verification ..." Mechanized Relational Verification of Concurrent Programs with Continuations Amin Timany and Lars Birkedal (KU Leuven, Belgium; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p55-p (type: Full Paper) doi:10.1145/3341709 Proc. ACM Program. Lang., vol. 3, issue ICFP: "Implementing a Modal Dependent ..." Implementing a Modal Dependent Type Theory Daniel Gratzer, Jonathan Sterling, and Lars Birkedal (Aarhus University, Denmark; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p8-p (type: Full Paper) doi:10.1145/3341711
	Bottu, Gert-Jan	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Coherence of Type Class Resolution ..." Coherence of Type Class Resolution Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, and Tom Schrijvers (KU Leuven, Belgium; University of Hong Kong, China) Publisher's Version Article: icfp19main-p191-p (type: Full Paper) doi:10.1145/3341695
	Carbin, Michael	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Sound and Robust Solid Modeling ..." Sound and Robust Solid Modeling via Exact Real Arithmetic and Continuity Benjamin Sherman, Jesse Michel, and Michael Carbin (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p69-p (type: Full Paper) doi:10.1145/3341703
	Carette, Jacques	Proc. ACM Program. Lang., vol. 3, issue ICFP: "From High-Level Inference ..." From High-Level Inference Algorithms to Efficient Code Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, and Chung-chieh Shan (Indiana University, USA; McMaster University, Canada) Publisher's Version Published Artifact Artifacts Available Article: icfp19main-p105-p (type: Full Paper) doi:10.1145/3341702
	Černý, Pavol	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Sequential Programming for ..." Sequential Programming for Replicated Data Stores Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, and Pavol Černý (University of Colorado Boulder, USA; Microsoft, USA) Publisher's Version Article: icfp19main-p220-p (type: Full Paper) doi:10.1145/3341710
	Chlipala, Adam	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Narcissus: Correct-by-Construction ..." Narcissus: Correct-by-Construction Derivation of Decoders and Encoders from Binary Formats Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel, Qianchuan Ye, and Adam Chlipala (Purdue University, USA; Band Protocol, Thailand; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p246-p (type: Full Paper) doi:10.1145/3341686
	Choudhury, Pritam	Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Role for Dependent Types ..." A Role for Dependent Types in Haskell Stephanie Weirich, Pritam Choudhury, Antoine Voizard, and Richard A. Eisenberg (University of Pennsylvania, USA; Bryn Mawr College, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p71-p (type: Full Paper) doi:10.1145/3341705
	Christiansen, David Thrane	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Dependently Typed Haskell ..." Dependently Typed Haskell in Industry (Experience Report) David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, and Tristan Ravitch (Galois, USA) Publisher's Version Article: icfp19main-p54-p (type: Full Paper) doi:10.1145/3341704
	Cong, Youyou	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Compiling with Continuations, ..." Compiling with Continuations, or without? Whatever. Youyou Cong, Leo Osvald, Grégory M. Essertel, and Tiark Rompf (Tokyo Institute of Technology, Japan; Purdue University, USA) Publisher's Version Article: icfp19main-p115-p (type: Full Paper) doi:10.1145/3341643
	Decker, James	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Demystifying Differentiable ..." Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator Fei Wang, Daniel Zheng, James Decker, Xilun Wu, Grégory M. Essertel, and Tiark Rompf (Purdue University, USA) Publisher's Version Article: icfp19main-p49-p (type: Full Paper) doi:10.1145/3341700
	Delaware, Benjamin	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Narcissus: Correct-by-Construction ..." Narcissus: Correct-by-Construction Derivation of Decoders and Encoders from Binary Formats Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel, Qianchuan Ye, and Adam Chlipala (Purdue University, USA; Band Protocol, Thailand; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p246-p (type: Full Paper) doi:10.1145/3341686
	Derici, Caner	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Rebuilding Racket on Chez ..." Rebuilding Racket on Chez Scheme (Experience Report) Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, and Jon Zeppieri (University of Utah, USA; Indiana University, USA; Cisco Systems, USA; University of Buenos Aires, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p6-p (type: Full Paper) doi:10.1145/3341642
	Devriese, Dominique	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Linear Capabilities for Fully ..." Linear Capabilities for Fully Abstract Compilation of Separation-Logic-Verified Code Thomas Van Strydonck, Frank Piessens, and Dominique Devriese (KU Leuven, Belgium; Vrije Universiteit Brussel, Belgium) Publisher's Version Published Artifact Artifacts Available Article: icfp19main-p99-p (type: Full Paper) doi:10.1145/3341688
	Diatchki, Iavor S.	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Dependently Typed Haskell ..." Dependently Typed Haskell in Industry (Experience Report) David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, and Tristan Ravitch (Galois, USA) Publisher's Version Article: icfp19main-p54-p (type: Full Paper) doi:10.1145/3341704
	Dimino, Jeremie	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Selective Applicative Functors ..." Selective Applicative Functors Andrey Mokhov, Georgy Lukyanov, Simon Marlow, and Jeremie Dimino (Newcastle University, UK; Facebook, UK; Jane Street, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p121-p (type: Full Paper) doi:10.1145/3341694
	Dockins, Robert	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Dependently Typed Haskell ..." Dependently Typed Haskell in Industry (Experience Report) David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, and Tristan Ravitch (Galois, USA) Publisher's Version Article: icfp19main-p54-p (type: Full Paper) doi:10.1145/3341704
	Dybvig, R. Kent	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Rebuilding Racket on Chez ..." Rebuilding Racket on Chez Scheme (Experience Report) Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, and Jon Zeppieri (University of Utah, USA; Indiana University, USA; Cisco Systems, USA; University of Buenos Aires, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p6-p (type: Full Paper) doi:10.1145/3341642
	Eades III, Harley	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Quantitative Program Reasoning ..." Quantitative Program Reasoning with Graded Modal Types Dominic Orchard, Vilem-Benjamin Liepelt, and Harley Eades III (University of Kent, UK; Augusta University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p84-p (type: Full Paper) doi:10.1145/3341714
	Eisenbach, Susan	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Higher-Order Type-Level Programming ..." Higher-Order Type-Level Programming in Haskell Csongor Kiss, Tony Field, Susan Eisenbach, and Simon Peyton Jones (Imperial College London, UK; Microsoft Research, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p197-p (type: Full Paper) doi:10.1145/3341706
	Eisenberg, Richard A.	Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Role for Dependent Types ..." A Role for Dependent Types in Haskell Stephanie Weirich, Pritam Choudhury, Antoine Voizard, and Richard A. Eisenberg (University of Pennsylvania, USA; Bryn Mawr College, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p71-p (type: Full Paper) doi:10.1145/3341705
	Eremondi, Joseph	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Approximate Normalization ..." Approximate Normalization for Gradual Dependent Types Joseph Eremondi, Éric Tanter, and Ronald Garcia (University of British Columbia, Canada; University of Chile, Chile; Inria, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p101-p (type: Full Paper) doi:10.1145/3341692
	Essertel, Grégory M.	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Compiling with Continuations, ..." Compiling with Continuations, or without? Whatever. Youyou Cong, Leo Osvald, Grégory M. Essertel, and Tiark Rompf (Tokyo Institute of Technology, Japan; Purdue University, USA) Publisher's Version Article: icfp19main-p115-p (type: Full Paper) doi:10.1145/3341643 Proc. ACM Program. Lang., vol. 3, issue ICFP: "Demystifying Differentiable ..." Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator Fei Wang, Daniel Zheng, James Decker, Xilun Wu, Grégory M. Essertel, and Tiark Rompf (Purdue University, USA) Publisher's Version Article: icfp19main-p49-p (type: Full Paper) doi:10.1145/3341700
	Fehrmann, Hans Jacob	Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Reasonably Exceptional Type ..." A Reasonably Exceptional Type Theory Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, and Éric Tanter (Inria, France; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p108-p (type: Full Paper) doi:10.1145/3341712
	Field, Tony	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Higher-Order Type-Level Programming ..." Higher-Order Type-Level Programming in Haskell Csongor Kiss, Tony Field, Susan Eisenbach, and Simon Peyton Jones (Imperial College London, UK; Microsoft Research, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p197-p (type: Full Paper) doi:10.1145/3341706
	Fisher, Kathleen	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Synthesizing Symmetric Lenses ..." Synthesizing Symmetric Lenses Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic (Princeton University, USA; University of Pennsylvania, USA; Tufts University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p51-p (type: Full Paper) doi:10.1145/3341699
	Fitzgibbon, Andrew	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Efficient Differentiable Programming ..." Efficient Differentiable Programming in a Functional Array-Processing Language Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, and Simon Peyton Jones (University of Oxford, UK; Microsoft Research, UK; DeepMind, UK) Publisher's Version Article: icfp19main-p81-p (type: Full Paper) doi:10.1145/3341701
	Flatt, Matthew	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Rebuilding Racket on Chez ..." Rebuilding Racket on Chez Scheme (Experience Report) Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, and Jon Zeppieri (University of Utah, USA; Indiana University, USA; Cisco Systems, USA; University of Buenos Aires, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p6-p (type: Full Paper) doi:10.1145/3341642
	Gaboardi, Marco	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Relational Cost Analysis for ..." Relational Cost Analysis for Functional-Imperative Programs Weihao Qu, Marco Gaboardi, and Deepak Garg (SUNY Buffalo, USA; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p28-p (type: Full Paper) doi:10.1145/3341696
	Gaonkar, Akash	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Sequential Programming for ..." Sequential Programming for Replicated Data Stores Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, and Pavol Černý (University of Colorado Boulder, USA; Microsoft, USA) Publisher's Version Article: icfp19main-p220-p (type: Full Paper) doi:10.1145/3341710
	Garcia, Ronald	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Approximate Normalization ..." Approximate Normalization for Gradual Dependent Types Joseph Eremondi, Éric Tanter, and Ronald Garcia (University of British Columbia, Canada; University of Chile, Chile; Inria, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p101-p (type: Full Paper) doi:10.1145/3341692
	Garg, Deepak	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Relational Cost Analysis for ..." Relational Cost Analysis for Functional-Imperative Programs Weihao Qu, Marco Gaboardi, and Deepak Garg (SUNY Buffalo, USA; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p28-p (type: Full Paper) doi:10.1145/3341696
	Gratzer, Daniel	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Implementing a Modal Dependent ..." Implementing a Modal Dependent Type Theory Daniel Gratzer, Jonathan Sterling, and Lars Birkedal (Aarhus University, Denmark; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p8-p (type: Full Paper) doi:10.1145/3341711
	Graulund, Christian Uldal	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Simply RaTT: A Fitch-Style ..." Simply RaTT: A Fitch-Style Modal Calculus for Reactive Programming without Space Leaks Patrick Bahr, Christian Uldal Graulund, and Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p148-p (type: Full Paper) doi:10.1145/3341713
	Hackett, Jennifer	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Call-by-Need Is Clairvoyant ..." Call-by-Need Is Clairvoyant Call-by-Value Jennifer Hackett and Graham Hutton (University of Nottingham, UK) Publisher's Version Article: icfp19main-p120-p (type: Full Paper) doi:10.1145/3341718
	Haeberlen, Andreas	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Fuzzi: A Three-Level Logic ..." Fuzzi: A Three-Level Logic for Differential Privacy Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, and Aaron Roth (University of Pennsylvania, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p142-p (type: Full Paper) doi:10.1145/3341697
	Hameer, Aliya	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Teaching the Art of Functional ..." Teaching the Art of Functional Programming using Automated Grading (Experience Report) Aliya Hameer and Brigitte Pientka (McGill University, Canada) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p35-p (type: Full Paper) doi:10.1145/3341719
	Hendrix, Joe	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Dependently Typed Haskell ..." Dependently Typed Haskell in Industry (Experience Report) David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, and Tristan Ravitch (Galois, USA) Publisher's Version Article: icfp19main-p54-p (type: Full Paper) doi:10.1145/3341704
	Hriţcu, Cătălin	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Dijkstra Monads for All ..." Dijkstra Monads for All Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas, and Éric Tanter (Inria, France; ENS, France; University of Ljubljana, Slovenia; University of Strathclyde, UK; CIFASIS-CONICET, Argentina; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p40-p (type: Full Paper) doi:10.1145/3341708
	Hutton, Graham	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Call-by-Need Is Clairvoyant ..." Call-by-Need Is Clairvoyant Call-by-Value Jennifer Hackett and Graham Hutton (University of Nottingham, UK) Publisher's Version Article: icfp19main-p120-p (type: Full Paper) doi:10.1145/3341718
	Keep, Andrew W.	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Rebuilding Racket on Chez ..." Rebuilding Racket on Chez Scheme (Experience Report) Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, and Jon Zeppieri (University of Utah, USA; Indiana University, USA; Cisco Systems, USA; University of Buenos Aires, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p6-p (type: Full Paper) doi:10.1145/3341642
	Kiss, Csongor	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Higher-Order Type-Level Programming ..." Higher-Order Type-Level Programming in Haskell Csongor Kiss, Tony Field, Susan Eisenbach, and Simon Peyton Jones (Imperial College London, UK; Microsoft Research, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p197-p (type: Full Paper) doi:10.1145/3341706
	Lewchenko, Nicholas V.	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Sequential Programming for ..." Sequential Programming for Replicated Data Stores Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, and Pavol Černý (University of Colorado Boulder, USA; Microsoft, USA) Publisher's Version Article: icfp19main-p220-p (type: Full Paper) doi:10.1145/3341710
	Liepelt, Vilem-Benjamin	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Quantitative Program Reasoning ..." Quantitative Program Reasoning with Graded Modal Types Dominic Orchard, Vilem-Benjamin Liepelt, and Harley Eades III (University of Kent, UK; Augusta University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p84-p (type: Full Paper) doi:10.1145/3341714
	Lindenhovius, Bert	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Mixed Linear and Non-linear ..." Mixed Linear and Non-linear Recursive Types Bert Lindenhovius, Michael Mislove, and Vladimir Zamdzhiev (Tulane University, USA; University of Lorraine, France; CNRS, France; Inria, France; LORIA, France) Publisher's Version Article: icfp19main-p23-p (type: Full Paper) doi:10.1145/3341715
	Lukyanov, Georgy	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Selective Applicative Functors ..." Selective Applicative Functors Andrey Mokhov, Georgy Lukyanov, Simon Marlow, and Jeremie Dimino (Newcastle University, UK; Facebook, UK; Jane Street, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p121-p (type: Full Paper) doi:10.1145/3341694
	Maillard, Kenji	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Dijkstra Monads for All ..." Dijkstra Monads for All Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas, and Éric Tanter (Inria, France; ENS, France; University of Ljubljana, Slovenia; University of Strathclyde, UK; CIFASIS-CONICET, Argentina; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p40-p (type: Full Paper) doi:10.1145/3341708
	Maina, Solomon	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Synthesizing Symmetric Lenses ..." Synthesizing Symmetric Lenses Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic (Princeton University, USA; University of Pennsylvania, USA; Tufts University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p51-p (type: Full Paper) doi:10.1145/3341699
	Mangin, Cyprien	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Equations Reloaded: High-Level ..." Equations Reloaded: High-Level Dependently-Typed Functional Programming and Proving in Coq Matthieu Sozeau and Cyprien Mangin (Inria, France; IRIF, France; University of Paris Diderot, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p204-p (type: Full Paper) doi:10.1145/3341690
	Marlow, Simon	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Selective Applicative Functors ..." Selective Applicative Functors Andrey Mokhov, Georgy Lukyanov, Simon Marlow, and Jeremie Dimino (Newcastle University, UK; Facebook, UK; Jane Street, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p121-p (type: Full Paper) doi:10.1145/3341694
	Marntirosian, Koar	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Coherence of Type Class Resolution ..." Coherence of Type Class Resolution Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, and Tom Schrijvers (KU Leuven, Belgium; University of Hong Kong, China) Publisher's Version Article: icfp19main-p191-p (type: Full Paper) doi:10.1145/3341695
	Martínez, Guido	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Dijkstra Monads for All ..." Dijkstra Monads for All Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas, and Éric Tanter (Inria, France; ENS, France; University of Ljubljana, Slovenia; University of Strathclyde, UK; CIFASIS-CONICET, Argentina; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p40-p (type: Full Paper) doi:10.1145/3341708
	Massaccesi, Gustavo E.	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Rebuilding Racket on Chez ..." Rebuilding Racket on Chez Scheme (Experience Report) Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, and Jon Zeppieri (University of Utah, USA; Indiana University, USA; Cisco Systems, USA; University of Buenos Aires, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p6-p (type: Full Paper) doi:10.1145/3341642
	Michel, Jesse	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Sound and Robust Solid Modeling ..." Sound and Robust Solid Modeling via Exact Real Arithmetic and Continuity Benjamin Sherman, Jesse Michel, and Michael Carbin (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p69-p (type: Full Paper) doi:10.1145/3341703
	Miltner, Anders	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Synthesizing Symmetric Lenses ..." Synthesizing Symmetric Lenses Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic (Princeton University, USA; University of Pennsylvania, USA; Tufts University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p51-p (type: Full Paper) doi:10.1145/3341699
	Miraldo, Victor Cacciari	Proc. ACM Program. Lang., vol. 3, issue ICFP: "An Efficient Algorithm for ..." An Efficient Algorithm for Type-Safe Structural Diffing Victor Cacciari Miraldo and Wouter Swierstra (Utrecht University, Netherlands) Publisher's Version Article: icfp19main-p82-p (type: Full Paper) doi:10.1145/3341717
	Mislove, Michael	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Mixed Linear and Non-linear ..." Mixed Linear and Non-linear Recursive Types Bert Lindenhovius, Michael Mislove, and Vladimir Zamdzhiev (Tulane University, USA; University of Lorraine, France; CNRS, France; Inria, France; LORIA, France) Publisher's Version Article: icfp19main-p23-p (type: Full Paper) doi:10.1145/3341715
	Møgelberg, Rasmus Ejlers	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Simply RaTT: A Fitch-Style ..." Simply RaTT: A Fitch-Style Modal Calculus for Reactive Programming without Space Leaks Patrick Bahr, Christian Uldal Graulund, and Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p148-p (type: Full Paper) doi:10.1145/3341713
	Mokhov, Andrey	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Selective Applicative Functors ..." Selective Applicative Functors Andrey Mokhov, Georgy Lukyanov, Simon Marlow, and Jeremie Dimino (Newcastle University, UK; Facebook, UK; Jane Street, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p121-p (type: Full Paper) doi:10.1145/3341694
	Morihata, Akimasa	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Lambda Calculus with Algebraic ..." Lambda Calculus with Algebraic Simplification for Reduction Parallelization by Equational Reasoning Akimasa Morihata (University of Tokyo, Japan) Publisher's Version Article: icfp19main-p76-p (type: Full Paper) doi:10.1145/3341644
	Mörtberg, Anders	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Cubical Agda: A Dependently ..." Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types Andrea Vezzosi, Anders Mörtberg, and Andreas Abel (IT University of Copenhagen, Denmark; Stockholm University, Sweden; Carnegie Mellon University, USA; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p164-p (type: Full Paper) doi:10.1145/3341691
	Muller, Stefan K.	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Fairness in Responsive Parallelism ..." Fairness in Responsive Parallelism Stefan K. Muller, Sam Westrick, and Umut A. Acar (Carnegie Mellon University, USA; Inria, France) Publisher's Version Article: icfp19main-p349-p (type: Full Paper) doi:10.1145/3341685
	Narayanan, Praveen	Proc. ACM Program. Lang., vol. 3, issue ICFP: "From High-Level Inference ..." From High-Level Inference Algorithms to Efficient Code Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, and Chung-chieh Shan (Indiana University, USA; McMaster University, Canada) Publisher's Version Published Artifact Artifacts Available Article: icfp19main-p105-p (type: Full Paper) doi:10.1145/3341702
	Oliveira, Bruno C. d. S.	Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Mechanical Formalization ..." A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference Jinxu Zhao, Bruno C. d. S. Oliveira, and Tom Schrijvers (University of Hong Kong, China; KU Leuven, Belgium) Publisher's Version Artifacts Functional Article: icfp19main-p66-p (type: Full Paper) doi:10.1145/3341716
	Orchard, Dominic	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Quantitative Program Reasoning ..." Quantitative Program Reasoning with Graded Modal Types Dominic Orchard, Vilem-Benjamin Liepelt, and Harley Eades III (University of Kent, UK; Augusta University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p84-p (type: Full Paper) doi:10.1145/3341714
	Osvald, Leo	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Compiling with Continuations, ..." Compiling with Continuations, or without? Whatever. Youyou Cong, Leo Osvald, Grégory M. Essertel, and Tiark Rompf (Tokyo Institute of Technology, Japan; Purdue University, USA) Publisher's Version Article: icfp19main-p115-p (type: Full Paper) doi:10.1145/3341643
	Paraskevopoulou, Zoe	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Closure Conversion Is Safe ..." Closure Conversion Is Safe for Space Zoe Paraskevopoulou and Andrew W. Appel (Princeton University, USA) Publisher's Version Artifacts Functional Article: icfp19main-p32-p (type: Full Paper) doi:10.1145/3341687
	Patterson, Daniel	Proc. ACM Program. Lang., vol. 3, issue ICFP: "The Next 700 Compiler Correctness ..." The Next 700 Compiler Correctness Theorems (Functional Pearl) Daniel Patterson and Amal Ahmed (Northeastern University, USA) Publisher's Version Article: icfp19main-p201-p (type: Full Paper) doi:10.1145/3341689
	Pédrot, Pierre-Marie	Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Reasonably Exceptional Type ..." A Reasonably Exceptional Type Theory Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, and Éric Tanter (Inria, France; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p108-p (type: Full Paper) doi:10.1145/3341712
	Peyton Jones, Simon	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Higher-Order Type-Level Programming ..." Higher-Order Type-Level Programming in Haskell Csongor Kiss, Tony Field, Susan Eisenbach, and Simon Peyton Jones (Imperial College London, UK; Microsoft Research, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p197-p (type: Full Paper) doi:10.1145/3341706 Proc. ACM Program. Lang., vol. 3, issue ICFP: "Efficient Differentiable Programming ..." Efficient Differentiable Programming in a Functional Array-Processing Language Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, and Simon Peyton Jones (University of Oxford, UK; Microsoft Research, UK; DeepMind, UK) Publisher's Version Article: icfp19main-p81-p (type: Full Paper) doi:10.1145/3341701
	Pientka, Brigitte	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Teaching the Art of Functional ..." Teaching the Art of Functional Programming using Automated Grading (Experience Report) Aliya Hameer and Brigitte Pientka (McGill University, Canada) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p35-p (type: Full Paper) doi:10.1145/3341719
	Pierce, Benjamin C.	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Fuzzi: A Three-Level Logic ..." Fuzzi: A Three-Level Logic for Differential Privacy Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, and Aaron Roth (University of Pennsylvania, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p142-p (type: Full Paper) doi:10.1145/3341697 Proc. ACM Program. Lang., vol. 3, issue ICFP: "Synthesizing Symmetric Lenses ..." Synthesizing Symmetric Lenses Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic (Princeton University, USA; University of Pennsylvania, USA; Tufts University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p51-p (type: Full Paper) doi:10.1145/3341699
	Piessens, Frank	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Linear Capabilities for Fully ..." Linear Capabilities for Fully Abstract Compilation of Separation-Logic-Verified Code Thomas Van Strydonck, Frank Piessens, and Dominique Devriese (KU Leuven, Belgium; Vrije Universiteit Brussel, Belgium) Publisher's Version Published Artifact Artifacts Available Article: icfp19main-p99-p (type: Full Paper) doi:10.1145/3341688
	Pit-Claudel, Clément	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Narcissus: Correct-by-Construction ..." Narcissus: Correct-by-Construction Derivation of Decoders and Encoders from Binary Formats Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel, Qianchuan Ye, and Adam Chlipala (Purdue University, USA; Band Protocol, Thailand; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p246-p (type: Full Paper) doi:10.1145/3341686
	Qu, Weihao	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Relational Cost Analysis for ..." Relational Cost Analysis for Functional-Imperative Programs Weihao Qu, Marco Gaboardi, and Deepak Garg (SUNY Buffalo, USA; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p28-p (type: Full Paper) doi:10.1145/3341696
	Radhakrishna, Arjun	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Sequential Programming for ..." Sequential Programming for Replicated Data Stores Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, and Pavol Černý (University of Colorado Boulder, USA; Microsoft, USA) Publisher's Version Article: icfp19main-p220-p (type: Full Paper) doi:10.1145/3341710
	Ravitch, Tristan	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Dependently Typed Haskell ..." Dependently Typed Haskell in Industry (Experience Report) David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, and Tristan Ravitch (Galois, USA) Publisher's Version Article: icfp19main-p54-p (type: Full Paper) doi:10.1145/3341704
	Rivas, Exequiel	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Dijkstra Monads for All ..." Dijkstra Monads for All Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas, and Éric Tanter (Inria, France; ENS, France; University of Ljubljana, Slovenia; University of Strathclyde, UK; CIFASIS-CONICET, Argentina; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p40-p (type: Full Paper) doi:10.1145/3341708
	Rompf, Tiark	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Compiling with Continuations, ..." Compiling with Continuations, or without? Whatever. Youyou Cong, Leo Osvald, Grégory M. Essertel, and Tiark Rompf (Tokyo Institute of Technology, Japan; Purdue University, USA) Publisher's Version Article: icfp19main-p115-p (type: Full Paper) doi:10.1145/3341643 Proc. ACM Program. Lang., vol. 3, issue ICFP: "Demystifying Differentiable ..." Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator Fei Wang, Daniel Zheng, James Decker, Xilun Wu, Grégory M. Essertel, and Tiark Rompf (Purdue University, USA) Publisher's Version Article: icfp19main-p49-p (type: Full Paper) doi:10.1145/3341700
	Roth, Aaron	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Fuzzi: A Three-Level Logic ..." Fuzzi: A Three-Level Logic for Differential Privacy Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, and Aaron Roth (University of Pennsylvania, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p142-p (type: Full Paper) doi:10.1145/3341697
	Roth, Edo	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Fuzzi: A Three-Level Logic ..." Fuzzi: A Three-Level Logic for Differential Privacy Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, and Aaron Roth (University of Pennsylvania, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p142-p (type: Full Paper) doi:10.1145/3341697
	Schrijvers, Tom	Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Mechanical Formalization ..." A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference Jinxu Zhao, Bruno C. d. S. Oliveira, and Tom Schrijvers (University of Hong Kong, China; KU Leuven, Belgium) Publisher's Version Artifacts Functional Article: icfp19main-p66-p (type: Full Paper) doi:10.1145/3341716 Proc. ACM Program. Lang., vol. 3, issue ICFP: "Coherence of Type Class Resolution ..." Coherence of Type Class Resolution Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, and Tom Schrijvers (KU Leuven, Belgium; University of Hong Kong, China) Publisher's Version Article: icfp19main-p191-p (type: Full Paper) doi:10.1145/3341695
	Shaikhha, Amir	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Efficient Differentiable Programming ..." Efficient Differentiable Programming in a Functional Array-Processing Language Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, and Simon Peyton Jones (University of Oxford, UK; Microsoft Research, UK; DeepMind, UK) Publisher's Version Article: icfp19main-p81-p (type: Full Paper) doi:10.1145/3341701
	Shan, Chung-chieh	Proc. ACM Program. Lang., vol. 3, issue ICFP: "From High-Level Inference ..." From High-Level Inference Algorithms to Efficient Code Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, and Chung-chieh Shan (Indiana University, USA; McMaster University, Canada) Publisher's Version Published Artifact Artifacts Available Article: icfp19main-p105-p (type: Full Paper) doi:10.1145/3341702
	Sherman, Benjamin	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Sound and Robust Solid Modeling ..." Sound and Robust Solid Modeling via Exact Real Arithmetic and Continuity Benjamin Sherman, Jesse Michel, and Michael Carbin (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p69-p (type: Full Paper) doi:10.1145/3341703
	Smith, Calvin	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Synthesizing Differentially ..." Synthesizing Differentially Private Programs Calvin Smith and Aws Albarghouthi (University of Wisconsin-Madison, USA) Publisher's Version Article: icfp19main-p179-p (type: Full Paper) doi:10.1145/3341698
	Sozeau, Matthieu	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Equations Reloaded: High-Level ..." Equations Reloaded: High-Level Dependently-Typed Functional Programming and Proving in Coq Matthieu Sozeau and Cyprien Mangin (Inria, France; IRIF, France; University of Paris Diderot, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p204-p (type: Full Paper) doi:10.1145/3341690
	Spall, Sarah	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Rebuilding Racket on Chez ..." Rebuilding Racket on Chez Scheme (Experience Report) Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, and Jon Zeppieri (University of Utah, USA; Indiana University, USA; Cisco Systems, USA; University of Buenos Aires, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p6-p (type: Full Paper) doi:10.1145/3341642
	Sterling, Jonathan	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Implementing a Modal Dependent ..." Implementing a Modal Dependent Type Theory Daniel Gratzer, Jonathan Sterling, and Lars Birkedal (Aarhus University, Denmark; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p8-p (type: Full Paper) doi:10.1145/3341711
	Suriyakarn, Sorawit	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Narcissus: Correct-by-Construction ..." Narcissus: Correct-by-Construction Derivation of Decoders and Encoders from Binary Formats Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel, Qianchuan Ye, and Adam Chlipala (Purdue University, USA; Band Protocol, Thailand; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p246-p (type: Full Paper) doi:10.1145/3341686
	Swierstra, Wouter	Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Predicate Transformer Semantics ..." A Predicate Transformer Semantics for Effects (Functional Pearl) Wouter Swierstra and Tim Baanen (Utrecht University, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p57-p (type: Full Paper) doi:10.1145/3341707 Proc. ACM Program. Lang., vol. 3, issue ICFP: "An Efficient Algorithm for ..." An Efficient Algorithm for Type-Safe Structural Diffing Victor Cacciari Miraldo and Wouter Swierstra (Utrecht University, Netherlands) Publisher's Version Article: icfp19main-p82-p (type: Full Paper) doi:10.1145/3341717
	Tabareau, Nicolas	Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Reasonably Exceptional Type ..." A Reasonably Exceptional Type Theory Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, and Éric Tanter (Inria, France; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p108-p (type: Full Paper) doi:10.1145/3341712
	Tanter, Éric	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Dijkstra Monads for All ..." Dijkstra Monads for All Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas, and Éric Tanter (Inria, France; ENS, France; University of Ljubljana, Slovenia; University of Strathclyde, UK; CIFASIS-CONICET, Argentina; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p40-p (type: Full Paper) doi:10.1145/3341708 Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Reasonably Exceptional Type ..." A Reasonably Exceptional Type Theory Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, and Éric Tanter (Inria, France; University of Chile, Chile) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p108-p (type: Full Paper) doi:10.1145/3341712 Proc. ACM Program. Lang., vol. 3, issue ICFP: "Approximate Normalization ..." Approximate Normalization for Gradual Dependent Types Joseph Eremondi, Éric Tanter, and Ronald Garcia (University of British Columbia, Canada; University of Chile, Chile; Inria, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p101-p (type: Full Paper) doi:10.1145/3341692
	Timany, Amin	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Mechanized Relational Verification ..." Mechanized Relational Verification of Concurrent Programs with Continuations Amin Timany and Lars Birkedal (KU Leuven, Belgium; Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p55-p (type: Full Paper) doi:10.1145/3341709
	Tobin-Hochstadt, Sam	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Rebuilding Racket on Chez ..." Rebuilding Racket on Chez Scheme (Experience Report) Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, and Jon Zeppieri (University of Utah, USA; Indiana University, USA; Cisco Systems, USA; University of Buenos Aires, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p6-p (type: Full Paper) doi:10.1145/3341642 Proc. ACM Program. Lang., vol. 3, issue ICFP: "From High-Level Inference ..." From High-Level Inference Algorithms to Efficient Code Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, and Chung-chieh Shan (Indiana University, USA; McMaster University, Canada) Publisher's Version Published Artifact Artifacts Available Article: icfp19main-p105-p (type: Full Paper) doi:10.1145/3341702
	Van Strydonck, Thomas	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Linear Capabilities for Fully ..." Linear Capabilities for Fully Abstract Compilation of Separation-Logic-Verified Code Thomas Van Strydonck, Frank Piessens, and Dominique Devriese (KU Leuven, Belgium; Vrije Universiteit Brussel, Belgium) Publisher's Version Published Artifact Artifacts Available Article: icfp19main-p99-p (type: Full Paper) doi:10.1145/3341688
	Vezzosi, Andrea	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Cubical Agda: A Dependently ..." Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types Andrea Vezzosi, Anders Mörtberg, and Andreas Abel (IT University of Copenhagen, Denmark; Stockholm University, Sweden; Carnegie Mellon University, USA; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p164-p (type: Full Paper) doi:10.1145/3341691
	Voizard, Antoine	Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Role for Dependent Types ..." A Role for Dependent Types in Haskell Stephanie Weirich, Pritam Choudhury, Antoine Voizard, and Richard A. Eisenberg (University of Pennsylvania, USA; Bryn Mawr College, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p71-p (type: Full Paper) doi:10.1145/3341705
	Vytiniotis, Dimitrios	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Efficient Differentiable Programming ..." Efficient Differentiable Programming in a Functional Array-Processing Language Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, and Simon Peyton Jones (University of Oxford, UK; Microsoft Research, UK; DeepMind, UK) Publisher's Version Article: icfp19main-p81-p (type: Full Paper) doi:10.1145/3341701
	Walia, Rajan	Proc. ACM Program. Lang., vol. 3, issue ICFP: "From High-Level Inference ..." From High-Level Inference Algorithms to Efficient Code Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, and Chung-chieh Shan (Indiana University, USA; McMaster University, Canada) Publisher's Version Published Artifact Artifacts Available Article: icfp19main-p105-p (type: Full Paper) doi:10.1145/3341702
	Walker, David	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Synthesizing Symmetric Lenses ..." Synthesizing Symmetric Lenses Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic (Princeton University, USA; University of Pennsylvania, USA; Tufts University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p51-p (type: Full Paper) doi:10.1145/3341699
	Wang, Fei	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Demystifying Differentiable ..." Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator Fei Wang, Daniel Zheng, James Decker, Xilun Wu, Grégory M. Essertel, and Tiark Rompf (Purdue University, USA) Publisher's Version Article: icfp19main-p49-p (type: Full Paper) doi:10.1145/3341700
	Weirich, Stephanie	Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Role for Dependent Types ..." A Role for Dependent Types in Haskell Stephanie Weirich, Pritam Choudhury, Antoine Voizard, and Richard A. Eisenberg (University of Pennsylvania, USA; Bryn Mawr College, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p71-p (type: Full Paper) doi:10.1145/3341705
	Westrick, Sam	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Fairness in Responsive Parallelism ..." Fairness in Responsive Parallelism Stefan K. Muller, Sam Westrick, and Umut A. Acar (Carnegie Mellon University, USA; Inria, France) Publisher's Version Article: icfp19main-p349-p (type: Full Paper) doi:10.1145/3341685
	White, Leo	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Lambda: The Ultimate Sublanguage ..." Lambda: The Ultimate Sublanguage (Experience Report) Jeremy Yallop and Leo White (University of Cambridge, UK; Jane Street, UK) Publisher's Version Article: icfp19main-p162-p (type: Full Paper) doi:10.1145/3342713
	Wu, Xilun	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Demystifying Differentiable ..." Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator Fei Wang, Daniel Zheng, James Decker, Xilun Wu, Grégory M. Essertel, and Tiark Rompf (Purdue University, USA) Publisher's Version Article: icfp19main-p49-p (type: Full Paper) doi:10.1145/3341700
	Xie, Ningning	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Coherence of Type Class Resolution ..." Coherence of Type Class Resolution Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, and Tom Schrijvers (KU Leuven, Belgium; University of Hong Kong, China) Publisher's Version Article: icfp19main-p191-p (type: Full Paper) doi:10.1145/3341695
	Yallop, Jeremy	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Lambda: The Ultimate Sublanguage ..." Lambda: The Ultimate Sublanguage (Experience Report) Jeremy Yallop and Leo White (University of Cambridge, UK; Jane Street, UK) Publisher's Version Article: icfp19main-p162-p (type: Full Paper) doi:10.1145/3342713
	Ye, Qianchuan	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Narcissus: Correct-by-Construction ..." Narcissus: Correct-by-Construction Derivation of Decoders and Encoders from Binary Formats Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel, Qianchuan Ye, and Adam Chlipala (Purdue University, USA; Band Protocol, Thailand; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p246-p (type: Full Paper) doi:10.1145/3341686
	Zamdzhiev, Vladimir	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Mixed Linear and Non-linear ..." Mixed Linear and Non-linear Recursive Types Bert Lindenhovius, Michael Mislove, and Vladimir Zamdzhiev (Tulane University, USA; University of Lorraine, France; CNRS, France; Inria, France; LORIA, France) Publisher's Version Article: icfp19main-p23-p (type: Full Paper) doi:10.1145/3341715
	Zdancewic, Steve	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Synthesizing Symmetric Lenses ..." Synthesizing Symmetric Lenses Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic (Princeton University, USA; University of Pennsylvania, USA; Tufts University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p51-p (type: Full Paper) doi:10.1145/3341699
	Zeppieri, Jon	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Rebuilding Racket on Chez ..." Rebuilding Racket on Chez Scheme (Experience Report) Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, and Jon Zeppieri (University of Utah, USA; Indiana University, USA; Cisco Systems, USA; University of Buenos Aires, Argentina) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p6-p (type: Full Paper) doi:10.1145/3341642
	Zhang, Hengchu	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Fuzzi: A Three-Level Logic ..." Fuzzi: A Three-Level Logic for Differential Privacy Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, and Aaron Roth (University of Pennsylvania, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: icfp19main-p142-p (type: Full Paper) doi:10.1145/3341697
	Zhao, Jinxu	Proc. ACM Program. Lang., vol. 3, issue ICFP: "A Mechanical Formalization ..." A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference Jinxu Zhao, Bruno C. d. S. Oliveira, and Tom Schrijvers (University of Hong Kong, China; KU Leuven, Belgium) Publisher's Version Artifacts Functional Article: icfp19main-p66-p (type: Full Paper) doi:10.1145/3341716
	Zheng, Daniel	Proc. ACM Program. Lang., vol. 3, issue ICFP: "Demystifying Differentiable ..." Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator Fei Wang, Daniel Zheng, James Decker, Xilun Wu, Grégory M. Essertel, and Tiark Rompf (Purdue University, USA) Publisher's Version Article: icfp19main-p49-p (type: Full Paper) doi:10.1145/3341700

135 authors

proc time: 0.25