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