| |
Abel, Andreas
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Normalization by Evaluation ..."
Normalization by Evaluation for Sized Dependent Types
Andreas Abel, Andrea Vezzosi, and Theo Winterhalter
(University of Gothenburg, Sweden; Chalmers University of Technology, Sweden; ENS Paris-Saclay, France)
Artifacts Reusable
|
| |
Aguirre, Alejandro |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Relational Logic for Higher-Order ..."
A Relational Logic for Higher-Order Programs
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, and Pierre-Yves Strub
(IMDEA Software Institute, Spain; University at Buffalo, USA; SUNY, USA; MPI-SWS, Germany; École Polytechnique, France)
Artifacts Functional
|
| |
Ahmed, Amal |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Theorems for Free for Free: ..."
Theorems for Free for Free: Parametricity, With and Without Types
Amal Ahmed, Dustin Jamner, Jeremy G. Siek, and Philip Wadler
(Northeastern University, USA; Indiana University, USA; University of Edinburgh, UK)
Artifacts Functional
|
| |
Andersen, Leif |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Super 8 Languages for Making ..."
Super 8 Languages for Making Movies (Functional Pearl)
Leif Andersen, Stephen Chang, and Matthias Felleisen
(Northeastern University, USA)
Artifacts Reusable
|
| |
Arvind |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Kami: A Platform for High-Level ..."
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, and Arvind
(Massachusetts Institute of Technology, USA)
Artifacts Functional
|
| |
Auerbach, Joshua S. |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Prototyping a Query Compiler ..."
Prototyping a Query Compiler using Coq (Experience Report)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon
(IBM Research, USA)
Artifacts Functional
|
| |
Avanzini, Martin |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Automating Sized-Type Inference ..."
Automating Sized-Type Inference for Complexity Analysis
Martin Avanzini and Ugo Dal Lago
(University of Innsbruck, Austria; University of Bologna, Italy; Inria, France)
|
| |
Avigad, Jeremy |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Metaprogramming Framework ..."
A Metaprogramming Framework for Formal Verification
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, and Leonardo de Moura
(Vienna University of Technology, Austria; KIT, Germany; University of Washington, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
Artifacts Reusable
|
| |
Balabonski, Thibaut
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Foundations of Strong Call ..."
Foundations of Strong Call by Need
Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, and Delia Kesner
(LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; University of Buenos Aires, Argentina; IRIF, France; University of Paris Diderot, France; CONICET, Argentina; Universidad Nacional de Quilmes, Argentina; Stevens Institute of Technology, USA)
|
| |
Ballantyne, Michael |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Unified Approach to Solving ..."
A Unified Approach to Solving Seven Programming Problems (Functional Pearl)
William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might
(University of Utah, USA)
Artifacts Reusable
|
| |
Balzer, Stephanie |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Manifest Sharing with Session ..."
Manifest Sharing with Session Types
Stephanie Balzer and Frank Pfenning
(Carnegie Mellon University, USA)
|
| |
Barenbaum, Pablo |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Foundations of Strong Call ..."
Foundations of Strong Call by Need
Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, and Delia Kesner
(LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; University of Buenos Aires, Argentina; IRIF, France; University of Paris Diderot, France; CONICET, Argentina; Universidad Nacional de Quilmes, Argentina; Stevens Institute of Technology, USA)
|
| |
Barthe, Gilles |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Relational Logic for Higher-Order ..."
A Relational Logic for Higher-Order Programs
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, and Pierre-Yves Strub
(IMDEA Software Institute, Spain; University at Buffalo, USA; SUNY, USA; MPI-SWS, Germany; École Polytechnique, France)
Artifacts Functional
|
| |
Bernardy, Jean-Philippe |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Pretty But Not Greedy Printer ..."
A Pretty But Not Greedy Printer (Functional Pearl)
Jean-Philippe Bernardy
(University of Gothenburg, Sweden)
|
| |
Bhargavan, Karthikeyan |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verified Low-Level Programming ..."
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, and Nikhil Swamy
(Microsoft Research, USA; Inria, France; Massachusetts Institute of Technology, USA)
Artifacts Reusable
|
| |
Bonelli, Eduardo |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Foundations of Strong Call ..."
Foundations of Strong Call by Need
Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, and Delia Kesner
(LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; University of Buenos Aires, Argentina; IRIF, France; University of Paris Diderot, France; CONICET, Argentina; Universidad Nacional de Quilmes, Argentina; Stevens Institute of Technology, USA)
|
| |
Breitner, Joachim |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Lock-Step Simulation Is Child's ..."
Lock-Step Simulation Is Child's Play (Experience Report)
Joachim Breitner and Chris Smith
(University of Pennsylvania, USA; Google, USA)
Artifacts Functional
|
| |
Byrd, William E. |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Unified Approach to Solving ..."
A Unified Approach to Solving Seven Programming Problems (Functional Pearl)
William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might
(University of Utah, USA)
Artifacts Reusable
|
| |
Canou, Benjamin
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Scaling up Functional Programming ..."
Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC
Benjamin Canou, Roberto Di Cosmo, and Grégoire Henry
(OCamlPro, France; Inria, France; University of Paris Diderot, France)
|
| |
Castagna, Giuseppe |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Gradual Typing with Union ..."
Gradual Typing with Union and Intersection Types
Giuseppe Castagna and Victor Lanvin
(CNRS, France; University of Paris Diderot, France; ENS Cachan, France)
|
| |
Chang, Stephen |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Super 8 Languages for Making ..."
Super 8 Languages for Making Movies (Functional Pearl)
Leif Andersen, Stephen Chang, and Matthias Felleisen
(Northeastern University, USA)
Artifacts Reusable
|
| |
Cheney, James |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Imperative Functional Programs ..."
Imperative Functional Programs That Explain Their Work
Wilmer Ricciotti, Jan Stolarek, Roly Perera, and James Cheney
(University of Edinburgh, UK)
Artifacts Functional
|
| |
Chlipala, Adam |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Kami: A Platform for High-Level ..."
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, and Arvind
(Massachusetts Institute of Technology, USA)
Artifacts Functional
|
| |
Choi, Joonwon |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Kami: A Platform for High-Level ..."
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, and Arvind
(Massachusetts Institute of Technology, USA)
Artifacts Functional
|
| |
Chong, Stephen |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Whip: Higher-Order Contracts ..."
Whip: Higher-Order Contracts for Modern Services
Lucas Waye, Stephen Chong, and Christos Dimoulas
(Harvard University, USA)
Artifacts Reusable
|
| |
Cosman, Benjamin |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Local Refinement Typing ..."
Local Refinement Typing
Benjamin Cosman and Ranjit Jhala
(University of California at San Diego, USA)
Artifacts Reusable
|
| |
Dal Lago, Ugo
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Automating Sized-Type Inference ..."
Automating Sized-Type Inference for Complexity Analysis
Martin Avanzini and Ugo Dal Lago
(University of Innsbruck, Austria; University of Bologna, Italy; Inria, France)
|
| |
Darais, David |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Abstracting Definitional Interpreters ..."
Abstracting Definitional Interpreters (Functional Pearl)
David Darais, Nicholas Labich, Phúc C. Nguyen, and David Van Horn
(University of Maryland, USA)
Artifacts Reusable
|
| |
Davis, Milo |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "No-Brainer CPS Conversion ..."
No-Brainer CPS Conversion (Functional Pearl)
Milo Davis, William Meehan, and Olin Shivers
(Northeastern University, USA)
|
| |
De Amorim, Pedro Henrique Azevedo |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Specification for Dependent ..."
A Specification for Dependent Types in Haskell
Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, and Richard A. Eisenberg
(University of Pennsylvania, USA; École Polytechnique, France; University of Campinas, Brazil; Bryn Mawr College, USA)
Artifacts Reusable
|
| |
Delignat-Lavaud, Antoine |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verified Low-Level Programming ..."
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, and Nikhil Swamy
(Microsoft Research, USA; Inria, France; Massachusetts Institute of Technology, USA)
Artifacts Reusable
|
| |
De Moura, Leonardo |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Metaprogramming Framework ..."
A Metaprogramming Framework for Formal Verification
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, and Leonardo de Moura
(Vienna University of Technology, Austria; KIT, Germany; University of Washington, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
Artifacts Reusable
|
| |
Devriese, Dominique |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Parametric Quantifiers for ..."
Parametric Quantifiers for Dependent Type Theory
Andreas Nuyts, Andrea Vezzosi, and Dominique Devriese
(KU Leuven, Belgium; Chalmers University of Technology, Sweden)
Artifacts Reusable
|
| |
Di Cosmo, Roberto |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Scaling up Functional Programming ..."
Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC
Benjamin Canou, Roberto Di Cosmo, and Grégoire Henry
(OCamlPro, France; Inria, France; University of Paris Diderot, France)
|
| |
Dimoulas, Christos |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Whip: Higher-Order Contracts ..."
Whip: Higher-Order Contracts for Modern Services
Lucas Waye, Stephen Chong, and Christos Dimoulas
(Harvard University, USA)
Artifacts Reusable
|
| |
Ebner, Gabriel
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Metaprogramming Framework ..."
A Metaprogramming Framework for Formal Verification
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, and Leonardo de Moura
(Vienna University of Technology, Austria; KIT, Germany; University of Washington, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
Artifacts Reusable
|
| |
Eisenberg, Richard A. |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Specification for Dependent ..."
A Specification for Dependent Types in Haskell
Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, and Richard A. Eisenberg
(University of Pennsylvania, USA; École Polytechnique, France; University of Campinas, Brazil; Bryn Mawr College, USA)
Artifacts Reusable
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Constrained Type Families ..."
Constrained Type Families
J. Garrett Morris and Richard A. Eisenberg
(University of Edinburgh, UK; Bryn Mawr College, USA)
Artifacts Functional
|
| |
Elliott, Conal |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Compiling to Categories ..."
Compiling to Categories
Conal Elliott
(Target, USA)
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Generic Functional Parallel ..."
Generic Functional Parallel Algorithms: Scan and FFT
Conal Elliott
(Target, USA)
|
| |
Ernst, Michael D. |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "SpaceSearch: A Library for ..."
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, and Zachary Tatlock
(University of Washington, USA; Stanford University, USA)
Artifacts Reusable
|
| |
Felleisen, Matthias
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Super 8 Languages for Making ..."
Super 8 Languages for Making Movies (Functional Pearl)
Leif Andersen, Stephen Chang, and Matthias Felleisen
(Northeastern University, USA)
Artifacts Reusable
|
| |
Feltey, Daniel |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Herbarium Racketensis: A Stroll ..."
Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)
Vincent St-Amour, Daniel Feltey, Spencer P. Florence, Shu-Hung You, and Robert Bruce Findler
(Northwestern University, USA)
Artifacts Reusable
|
| |
Findler, Robert Bruce |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Herbarium Racketensis: A Stroll ..."
Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)
Vincent St-Amour, Daniel Feltey, Spencer P. Florence, Shu-Hung You, and Robert Bruce Findler
(Northwestern University, USA)
Artifacts Reusable
|
| |
Florence, Spencer P. |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Herbarium Racketensis: A Stroll ..."
Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)
Vincent St-Amour, Daniel Feltey, Spencer P. Florence, Shu-Hung You, and Robert Bruce Findler
(Northwestern University, USA)
Artifacts Reusable
|
| |
Forster, Yannick |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "On the Expressive Power of ..."
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar
(Saarland University, Germany; University of Cambridge, UK; University of Oxford, UK; University of Edinburgh, UK; University of Ljubljana, Slovenia)
Artifacts Functional
|
| |
Fournet, Cédric |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verified Low-Level Programming ..."
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, and Nikhil Swamy
(Microsoft Research, USA; Inria, France; Massachusetts Institute of Technology, USA)
Artifacts Reusable
|
| |
Gaboardi, Marco
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Relational Logic for Higher-Order ..."
A Relational Logic for Higher-Order Programs
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, and Pierre-Yves Strub
(IMDEA Software Institute, Spain; University at Buffalo, USA; SUNY, USA; MPI-SWS, Germany; École Polytechnique, France)
Artifacts Functional
|
| |
Garg, Deepak |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Relational Logic for Higher-Order ..."
A Relational Logic for Higher-Order Programs
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, and Pierre-Yves Strub
(IMDEA Software Institute, Spain; University at Buffalo, USA; SUNY, USA; MPI-SWS, Germany; École Polytechnique, France)
Artifacts Functional
|
| |
Haeberlen, Andreas
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Framework for Adaptive Differential ..."
A Framework for Adaptive Differential Privacy
Daniel Winograd-Cort, Andreas Haeberlen, Aaron Roth, and Benjamin C. Pierce
(University of Pennsylvania, USA)
Artifacts Functional
|
| |
Hamana, Makoto |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "How to Prove Your Calculus ..."
How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation
Makoto Hamana
(Gunma University, Japan)
|
| |
Henry, Grégoire |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Scaling up Functional Programming ..."
Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC
Benjamin Canou, Roberto Di Cosmo, and Grégoire Henry
(OCamlPro, France; Inria, France; University of Paris Diderot, France)
|
| |
Heule, Stefan |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "SpaceSearch: A Library for ..."
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, and Zachary Tatlock
(University of Washington, USA; Stanford University, USA)
Artifacts Reusable
|
| |
Hirzel, Martin |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Prototyping a Query Compiler ..."
Prototyping a Query Compiler using Coq (Experience Report)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon
(IBM Research, USA)
Artifacts Functional
|
| |
Hriţcu, Cătălin |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verified Low-Level Programming ..."
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, and Nikhil Swamy
(Microsoft Research, USA; Inria, France; Massachusetts Institute of Technology, USA)
Artifacts Reusable
|
| |
Igarashi, Atsushi
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Gradual Session Types ..."
Gradual Session Types
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, and Philip Wadler
(Kyoto University, Japan; University of Freiburg, Germany; University of Lisbon, Portugal; University of Edinburgh, UK)
Artifacts Reusable
Proc. ACM Program. Lang., vol. 1, issue ICFP: "On Polymorphic Gradual Typing ..."
On Polymorphic Gradual Typing
Yuu Igarashi, Taro Sekiyama, and Atsushi Igarashi
(Kyoto University, Japan; IBM Research, Japan)
Artifacts Functional
|
| |
Igarashi, Yuu |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "On Polymorphic Gradual Typing ..."
On Polymorphic Gradual Typing
Yuu Igarashi, Taro Sekiyama, and Atsushi Igarashi
(Kyoto University, Japan; IBM Research, Japan)
Artifacts Functional
|
| |
Jamner, Dustin
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Theorems for Free for Free: ..."
Theorems for Free for Free: Parametricity, With and Without Types
Amal Ahmed, Dustin Jamner, Jeremy G. Siek, and Philip Wadler
(Northeastern University, USA; Indiana University, USA; University of Edinburgh, UK)
Artifacts Functional
|
| |
Jhala, Ranjit |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Local Refinement Typing ..."
Local Refinement Typing
Benjamin Cosman and Ranjit Jhala
(University of California at San Diego, USA)
Artifacts Reusable
|
| |
Justesen, Mathias Nygaard |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Effect-Driven QuickChecking ..."
Effect-Driven QuickChecking of Compilers
Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, and Hanne Riis Nielson
(DTU, Denmark)
Artifacts Functional
|
| |
Kammar, Ohad
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "On the Expressive Power of ..."
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar
(Saarland University, Germany; University of Cambridge, UK; University of Oxford, UK; University of Edinburgh, UK; University of Ljubljana, Slovenia)
Artifacts Functional
|
| |
Kasting, Patrick |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Effect-Driven QuickChecking ..."
Effect-Driven QuickChecking of Compilers
Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, and Hanne Riis Nielson
(DTU, Denmark)
Artifacts Functional
|
| |
Kesner, Delia |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Foundations of Strong Call ..."
Foundations of Strong Call by Need
Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, and Delia Kesner
(LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; University of Buenos Aires, Argentina; IRIF, France; University of Paris Diderot, France; CONICET, Argentina; Universidad Nacional de Quilmes, Argentina; Stevens Institute of Technology, USA)
|
| |
Krishnamurthi, Shriram |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Inferring Scope through Syntactic ..."
Inferring Scope through Syntactic Sugar
Justin Pombrio, Shriram Krishnamurthi, and Mitchell Wand
(Brown University, USA; Northeastern University, USA)
Artifacts Reusable
|
| |
Kumar, Ramana |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verifying Efficient Function ..."
Verifying Efficient Function Calls in CakeML
Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, and Yong Kiam Tan
(University of Kent, UK; Data61 at CSIRO, Australia; Australian National University, Australia; UNSW, Australia; Chalmers University of Technology, Sweden; Carnegie Mellon University, USA)
Artifacts Reusable
|
| |
Labich, Nicholas
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Abstracting Definitional Interpreters ..."
Abstracting Definitional Interpreters (Functional Pearl)
David Darais, Nicholas Labich, Phúc C. Nguyen, and David Van Horn
(University of Maryland, USA)
Artifacts Reusable
|
| |
Lanvin, Victor |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Gradual Typing with Union ..."
Gradual Typing with Union and Intersection Types
Giuseppe Castagna and Victor Lanvin
(CNRS, France; University of Paris Diderot, France; ENS Cachan, France)
|
| |
Lindley, Sam |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "On the Expressive Power of ..."
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar
(Saarland University, Germany; University of Cambridge, UK; University of Oxford, UK; University of Edinburgh, UK; University of Ljubljana, Slovenia)
Artifacts Functional
|
| |
Lyubomirsky, Steven |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "SpaceSearch: A Library for ..."
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, and Zachary Tatlock
(University of Washington, USA; Stanford University, USA)
Artifacts Reusable
|
| |
Mainland, Geoffrey
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Better Living through Operational ..."
Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols
Geoffrey Mainland
(Drexel University, USA)
Artifacts Reusable
|
| |
Mandel, Louis |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Prototyping a Query Compiler ..."
Prototyping a Query Compiler using Coq (Experience Report)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon
(IBM Research, USA)
Artifacts Functional
|
| |
Meehan, William |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "No-Brainer CPS Conversion ..."
No-Brainer CPS Conversion (Functional Pearl)
Milo Davis, William Meehan, and Olin Shivers
(Northeastern University, USA)
|
| |
Melgratti, Hernán |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Chaperone Contracts for Higher-Order ..."
Chaperone Contracts for Higher-Order Sessions
Hernán Melgratti and Luca Padovani
(University of Buenos Aires, Argentina; University of Turin, Italy)
Artifacts Reusable
|
| |
Midtgaard, Jan |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Effect-Driven QuickChecking ..."
Effect-Driven QuickChecking of Compilers
Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, and Hanne Riis Nielson
(DTU, Denmark)
Artifacts Functional
|
| |
Might, Matthew |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Unified Approach to Solving ..."
A Unified Approach to Solving Seven Programming Problems (Functional Pearl)
William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might
(University of Utah, USA)
Artifacts Reusable
|
| |
Morris, J. Garrett |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Constrained Type Families ..."
Constrained Type Families
J. Garrett Morris and Richard A. Eisenberg
(University of Edinburgh, UK; Bryn Mawr College, USA)
Artifacts Functional
|
| |
Myreen, Magnus O. |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verifying Efficient Function ..."
Verifying Efficient Function Calls in CakeML
Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, and Yong Kiam Tan
(University of Kent, UK; Data61 at CSIRO, Australia; Australian National University, Australia; UNSW, Australia; Chalmers University of Technology, Sweden; Carnegie Mellon University, USA)
Artifacts Reusable
|
| |
Narayanan, Praveen
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Symbolic Conditioning of Arrays ..."
Symbolic Conditioning of Arrays in Probabilistic Programs
Praveen Narayanan and Chung-chieh Shan
(Indiana University, USA)
Artifacts Reusable
|
| |
Nguyen, Phúc C. |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Abstracting Definitional Interpreters ..."
Abstracting Definitional Interpreters (Functional Pearl)
David Darais, Nicholas Labich, Phúc C. Nguyen, and David Van Horn
(University of Maryland, USA)
Artifacts Reusable
|
| |
Nielson, Flemming |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Effect-Driven QuickChecking ..."
Effect-Driven QuickChecking of Compilers
Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, and Hanne Riis Nielson
(DTU, Denmark)
Artifacts Functional
|
| |
Nielson, Hanne Riis |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Effect-Driven QuickChecking ..."
Effect-Driven QuickChecking of Compilers
Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, and Hanne Riis Nielson
(DTU, Denmark)
Artifacts Functional
|
| |
Nilsson, Henrik |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Testing and Debugging Functional ..."
Testing and Debugging Functional Reactive Programming
Ivan Perez and Henrik Nilsson
(University of Nottingham, UK)
|
| |
Norrish, Michael |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verifying Efficient Function ..."
Verifying Efficient Function Calls in CakeML
Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, and Yong Kiam Tan
(University of Kent, UK; Data61 at CSIRO, Australia; Australian National University, Australia; UNSW, Australia; Chalmers University of Technology, Sweden; Carnegie Mellon University, USA)
Artifacts Reusable
|
| |
Nuyts, Andreas |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Parametric Quantifiers for ..."
Parametric Quantifiers for Dependent Type Theory
Andreas Nuyts, Andrea Vezzosi, and Dominique Devriese
(KU Leuven, Belgium; Chalmers University of Technology, Sweden)
Artifacts Reusable
|
| |
Owens, Scott
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verifying Efficient Function ..."
Verifying Efficient Function Calls in CakeML
Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, and Yong Kiam Tan
(University of Kent, UK; Data61 at CSIRO, Australia; Australian National University, Australia; UNSW, Australia; Chalmers University of Technology, Sweden; Carnegie Mellon University, USA)
Artifacts Reusable
|
| |
Padovani, Luca
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Chaperone Contracts for Higher-Order ..."
Chaperone Contracts for Higher-Order Sessions
Hernán Melgratti and Luca Padovani
(University of Buenos Aires, Argentina; University of Turin, Italy)
Artifacts Reusable
|
| |
Perera, Roly |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Imperative Functional Programs ..."
Imperative Functional Programs That Explain Their Work
Wilmer Ricciotti, Jan Stolarek, Roly Perera, and James Cheney
(University of Edinburgh, UK)
Artifacts Functional
|
| |
Perez, Ivan |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Testing and Debugging Functional ..."
Testing and Debugging Functional Reactive Programming
Ivan Perez and Henrik Nilsson
(University of Nottingham, UK)
|
| |
Pfenning, Frank |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Manifest Sharing with Session ..."
Manifest Sharing with Session Types
Stephanie Balzer and Frank Pfenning
(Carnegie Mellon University, USA)
|
| |
Pierce, Benjamin C. |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Framework for Adaptive Differential ..."
A Framework for Adaptive Differential Privacy
Daniel Winograd-Cort, Andreas Haeberlen, Aaron Roth, and Benjamin C. Pierce
(University of Pennsylvania, USA)
Artifacts Functional
|
| |
Pombrio, Justin |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Inferring Scope through Syntactic ..."
Inferring Scope through Syntactic Sugar
Justin Pombrio, Shriram Krishnamurthi, and Mitchell Wand
(Brown University, USA; Northeastern University, USA)
Artifacts Reusable
|
| |
Pottier, François |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Visitors Unchained ..."
Visitors Unchained
François Pottier
(Inria, France)
|
| |
Pretnar, Matija |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "On the Expressive Power of ..."
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control
Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar
(Saarland University, Germany; University of Cambridge, UK; University of Oxford, UK; University of Edinburgh, UK; University of Ljubljana, Slovenia)
Artifacts Functional
|
| |
Protzenko, Jonathan |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verified Low-Level Programming ..."
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, and Nikhil Swamy
(Microsoft Research, USA; Inria, France; Massachusetts Institute of Technology, USA)
Artifacts Reusable
|
| |
Puente, Juan Pedro Bolívar |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Persistence for the Masses: ..."
Persistence for the Masses: RRB-Vectors in a Systems Language
Juan Pedro Bolívar Puente
Artifacts Functional
|
| |
Ramananandro, Tahina
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verified Low-Level Programming ..."
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, and Nikhil Swamy
(Microsoft Research, USA; Inria, France; Massachusetts Institute of Technology, USA)
Artifacts Reusable
|
| |
Rastogi, Aseem |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verified Low-Level Programming ..."
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, and Nikhil Swamy
(Microsoft Research, USA; Inria, France; Massachusetts Institute of Technology, USA)
Artifacts Reusable
|
| |
Ricciotti, Wilmer |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Imperative Functional Programs ..."
Imperative Functional Programs That Explain Their Work
Wilmer Ricciotti, Jan Stolarek, Roly Perera, and James Cheney
(University of Edinburgh, UK)
Artifacts Functional
|
| |
Roesch, Jared |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Metaprogramming Framework ..."
A Metaprogramming Framework for Formal Verification
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, and Leonardo de Moura
(Vienna University of Technology, Austria; KIT, Germany; University of Washington, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
Artifacts Reusable
|
| |
Rosenblatt, Gregory |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Unified Approach to Solving ..."
A Unified Approach to Solving Seven Programming Problems (Functional Pearl)
William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might
(University of Utah, USA)
Artifacts Reusable
|
| |
Roth, Aaron |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Framework for Adaptive Differential ..."
A Framework for Adaptive Differential Privacy
Daniel Winograd-Cort, Andreas Haeberlen, Aaron Roth, and Benjamin C. Pierce
(University of Pennsylvania, USA)
Artifacts Functional
|
| |
Sekiyama, Taro
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "On Polymorphic Gradual Typing ..."
On Polymorphic Gradual Typing
Yuu Igarashi, Taro Sekiyama, and Atsushi Igarashi
(Kyoto University, Japan; IBM Research, Japan)
Artifacts Functional
|
| |
Shan, Chung-chieh |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Symbolic Conditioning of Arrays ..."
Symbolic Conditioning of Arrays in Probabilistic Programs
Praveen Narayanan and Chung-chieh Shan
(Indiana University, USA)
Artifacts Reusable
|
| |
Sherman, Benjamin |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Kami: A Platform for High-Level ..."
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, and Arvind
(Massachusetts Institute of Technology, USA)
Artifacts Functional
|
| |
Shinnar, Avraham |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Prototyping a Query Compiler ..."
Prototyping a Query Compiler using Coq (Experience Report)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon
(IBM Research, USA)
Artifacts Functional
|
| |
Shivers, Olin |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "No-Brainer CPS Conversion ..."
No-Brainer CPS Conversion (Functional Pearl)
Milo Davis, William Meehan, and Olin Shivers
(Northeastern University, USA)
|
| |
Siek, Jeremy G. |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Theorems for Free for Free: ..."
Theorems for Free for Free: Parametricity, With and Without Types
Amal Ahmed, Dustin Jamner, Jeremy G. Siek, and Philip Wadler
(Northeastern University, USA; Indiana University, USA; University of Edinburgh, UK)
Artifacts Functional
|
| |
Siméon, Jérôme |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Prototyping a Query Compiler ..."
Prototyping a Query Compiler using Coq (Experience Report)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon
(IBM Research, USA)
Artifacts Functional
|
| |
Smith, Chris |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Lock-Step Simulation Is Child's ..."
Lock-Step Simulation Is Child's Play (Experience Report)
Joachim Breitner and Chris Smith
(University of Pennsylvania, USA; Google, USA)
Artifacts Functional
|
| |
Spivey, Michael |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Faster Coroutine Pipelines ..."
Faster Coroutine Pipelines
Michael Spivey
(University of Oxford, UK)
Artifacts Reusable
|
| |
St-Amour, Vincent |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Herbarium Racketensis: A Stroll ..."
Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)
Vincent St-Amour, Daniel Feltey, Spencer P. Florence, Shu-Hung You, and Robert Bruce Findler
(Northwestern University, USA)
Artifacts Reusable
|
| |
Stolarek, Jan |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Imperative Functional Programs ..."
Imperative Functional Programs That Explain Their Work
Wilmer Ricciotti, Jan Stolarek, Roly Perera, and James Cheney
(University of Edinburgh, UK)
Artifacts Functional
|
| |
Strub, Pierre-Yves |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Relational Logic for Higher-Order ..."
A Relational Logic for Higher-Order Programs
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, and Pierre-Yves Strub
(IMDEA Software Institute, Spain; University at Buffalo, USA; SUNY, USA; MPI-SWS, Germany; École Polytechnique, France)
Artifacts Functional
|
| |
Swamy, Nikhil |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verified Low-Level Programming ..."
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, and Nikhil Swamy
(Microsoft Research, USA; Inria, France; Massachusetts Institute of Technology, USA)
Artifacts Reusable
|
| |
Tan, Yong Kiam
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verifying Efficient Function ..."
Verifying Efficient Function Calls in CakeML
Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, and Yong Kiam Tan
(University of Kent, UK; Data61 at CSIRO, Australia; Australian National University, Australia; UNSW, Australia; Chalmers University of Technology, Sweden; Carnegie Mellon University, USA)
Artifacts Reusable
|
| |
Tatlock, Zachary |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "SpaceSearch: A Library for ..."
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, and Zachary Tatlock
(University of Washington, USA; Stanford University, USA)
Artifacts Reusable
|
| |
Thiemann, Peter |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Gradual Session Types ..."
Gradual Session Types
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, and Philip Wadler
(Kyoto University, Japan; University of Freiburg, Germany; University of Lisbon, Portugal; University of Edinburgh, UK)
Artifacts Reusable
|
| |
Torlak, Emina |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "SpaceSearch: A Library for ..."
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, and Zachary Tatlock
(University of Washington, USA; Stanford University, USA)
Artifacts Reusable
|
| |
Ullrich, Sebastian
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Metaprogramming Framework ..."
A Metaprogramming Framework for Formal Verification
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, and Leonardo de Moura
(Vienna University of Technology, Austria; KIT, Germany; University of Washington, USA; Carnegie Mellon University, USA; Microsoft Research, USA)
Artifacts Reusable
|
| |
Van Horn, David
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Abstracting Definitional Interpreters ..."
Abstracting Definitional Interpreters (Functional Pearl)
David Darais, Nicholas Labich, Phúc C. Nguyen, and David Van Horn
(University of Maryland, USA)
Artifacts Reusable
|
| |
Vasconcelos, Vasco T. |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Gradual Session Types ..."
Gradual Session Types
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, and Philip Wadler
(Kyoto University, Japan; University of Freiburg, Germany; University of Lisbon, Portugal; University of Edinburgh, UK)
Artifacts Reusable
|
| |
Vezzosi, Andrea |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Parametric Quantifiers for ..."
Parametric Quantifiers for Dependent Type Theory
Andreas Nuyts, Andrea Vezzosi, and Dominique Devriese
(KU Leuven, Belgium; Chalmers University of Technology, Sweden)
Artifacts Reusable
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Normalization by Evaluation ..."
Normalization by Evaluation for Sized Dependent Types
Andreas Abel, Andrea Vezzosi, and Theo Winterhalter
(University of Gothenburg, Sweden; Chalmers University of Technology, Sweden; ENS Paris-Saclay, France)
Artifacts Reusable
|
| |
Vijayaraghavan, Muralidaran |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Kami: A Platform for High-Level ..."
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, and Arvind
(Massachusetts Institute of Technology, USA)
Artifacts Functional
|
| |
Voizard, Antoine |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Specification for Dependent ..."
A Specification for Dependent Types in Haskell
Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, and Richard A. Eisenberg
(University of Pennsylvania, USA; École Polytechnique, France; University of Campinas, Brazil; Bryn Mawr College, USA)
Artifacts Reusable
|
| |
Wadler, Philip
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Gradual Session Types ..."
Gradual Session Types
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, and Philip Wadler
(Kyoto University, Japan; University of Freiburg, Germany; University of Lisbon, Portugal; University of Edinburgh, UK)
Artifacts Reusable
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Theorems for Free for Free: ..."
Theorems for Free for Free: Parametricity, With and Without Types
Amal Ahmed, Dustin Jamner, Jeremy G. Siek, and Philip Wadler
(Northeastern University, USA; Indiana University, USA; University of Edinburgh, UK)
Artifacts Functional
|
| |
Wand, Mitchell |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Inferring Scope through Syntactic ..."
Inferring Scope through Syntactic Sugar
Justin Pombrio, Shriram Krishnamurthi, and Mitchell Wand
(Brown University, USA; Northeastern University, USA)
Artifacts Reusable
|
| |
Wang, Peng |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verified Low-Level Programming ..."
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, and Nikhil Swamy
(Microsoft Research, USA; Inria, France; Massachusetts Institute of Technology, USA)
Artifacts Reusable
|
| |
Waye, Lucas |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Whip: Higher-Order Contracts ..."
Whip: Higher-Order Contracts for Modern Services
Lucas Waye, Stephen Chong, and Christos Dimoulas
(Harvard University, USA)
Artifacts Reusable
|
| |
Weirich, Stephanie |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Specification for Dependent ..."
A Specification for Dependent Types in Haskell
Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, and Richard A. Eisenberg
(University of Pennsylvania, USA; École Polytechnique, France; University of Campinas, Brazil; Bryn Mawr College, USA)
Artifacts Reusable
|
| |
Weitz, Konstantin |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "SpaceSearch: A Library for ..."
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, and Zachary Tatlock
(University of Washington, USA; Stanford University, USA)
Artifacts Reusable
|
| |
Winograd-Cort, Daniel |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "A Framework for Adaptive Differential ..."
A Framework for Adaptive Differential Privacy
Daniel Winograd-Cort, Andreas Haeberlen, Aaron Roth, and Benjamin C. Pierce
(University of Pennsylvania, USA)
Artifacts Functional
|
| |
Winterhalter, Theo |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Normalization by Evaluation ..."
Normalization by Evaluation for Sized Dependent Types
Andreas Abel, Andrea Vezzosi, and Theo Winterhalter
(University of Gothenburg, Sweden; Chalmers University of Technology, Sweden; ENS Paris-Saclay, France)
Artifacts Reusable
|
| |
Yallop, Jeremy
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Staged Generic Programming ..."
Staged Generic Programming
Jeremy Yallop
(University of Cambridge, UK)
|
| |
You, Shu-Hung |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Herbarium Racketensis: A Stroll ..."
Herbarium Racketensis: A Stroll through the Woods (Functional Pearl)
Vincent St-Amour, Daniel Feltey, Spencer P. Florence, Shu-Hung You, and Robert Bruce Findler
(Northwestern University, USA)
Artifacts Reusable
|
| |
Zanella-Béguelin, Santiago
|
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verified Low-Level Programming ..."
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, and Nikhil Swamy
(Microsoft Research, USA; Inria, France; Massachusetts Institute of Technology, USA)
Artifacts Reusable
|
| |
Zinzindohoué, Jean-Karim |
Proc. ACM Program. Lang., vol. 1, issue ICFP: "Verified Low-Level Programming ..."
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, and Nikhil Swamy
(Microsoft Research, USA; Inria, France; Massachusetts Institute of Technology, USA)
Artifacts Reusable
|