| |
Abel, Andreas
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "A Graded Modal Dependent Type ..."
A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized
Andreas Abel, Nils Anders Danielsson, and Oskar Eriksson
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
 Publisher's Version
 Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Amin, Nada |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..."
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong
(Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK)
Publisher's Version
|
| |
Attard, Duncan Paul |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Special Delivery: Programming ..."
Special Delivery: Programming with Mailbox Types
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, and Phil Trinder
(University of Glasgow, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Augustsson, Lennart |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..."
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney
(Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA)
Publisher's Version
|
| |
Bahr, Patrick
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Asynchronous Modal FRP ..."
Asynchronous Modal FRP
Patrick Bahr and Rasmus Ejlers Møgelberg
(IT University of Copenhagen, Denmark)
Publisher's Version
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Calculating Compilers for ..."
Calculating Compilers for Concurrency
Patrick Bahr and Graham Hutton
(IT University of Copenhagen, Denmark; University of Nottingham, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Baudon, Thaïs |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Bit-Stealing Made Legal: Compilation ..."
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types
Thaïs Baudon, Gabriel Radanne, and Laure Gonnord
(University of Lyon, France; ENS Lyon, France; UCBL, France; CNRS, France; Inria, France; LIP, France; University Grenoble Alpes, France; Grenoble INP, France; LCIS, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Biernacki, Dariusz |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "A General Fine-Grained Reduction ..."
A General Fine-Grained Reduction Theory for Effect Handlers
Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki
(Heriot-Watt University, UK; University of Wrocław, Poland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Birkedal, Lars |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Verifying Reliable Network ..."
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, and Lars Birkedal
(Aarhus University, Denmark; NOVA-LINCS, Portugal; NOVA School of Sciences and Tecnhology, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Bourgeat, Thomas |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..."
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala
(Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Brachthäuser, Jonathan Immanuel |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "With or Without You: Programming ..."
With or Without You: Programming with Effect Exclusion
Matthew Lutze, Magnus Madsen, Philipp Schuster, and Jonathan Immanuel Brachthäuser
(Aarhus University, Denmark; University of Tübingen, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Breitner, Joachim |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..."
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney
(Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA)
Publisher's Version
Proc. ACM Program. Lang., vol. 7, issue ICFP: "More Fixpoints! (Functional ..."
More Fixpoints! (Functional Pearl)
Joachim Breitner
(Unaffiliated, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Burnham, John |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..."
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong
(Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK)
Publisher's Version
|
| |
Castagna, Giuseppe
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Typing Records, Maps, and ..."
Typing Records, Maps, and Structs
Giuseppe Castagna
(CNRS, France; Université Paris Cité, France)
Publisher's Version
|
| |
Chlipala, Adam |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..."
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala
(Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Claessen, Koen |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..."
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney
(Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA)
Publisher's Version
|
| |
Clester, Ian |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..."
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala
(Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Danielsson, Nils Anders
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "A Graded Modal Dependent Type ..."
A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized
Andreas Abel, Nils Anders Danielsson, and Oskar Eriksson
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Dimoulas, Christos |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "How to Evaluate Blame for ..."
How to Evaluate Blame for Gradual Types, Part 2
Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(Northwestern University, USA; Brown University, USA; Northeastern University, USA)
Publisher's Version
|
| |
Dockins, Robert |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Trustworthy Runtime Verification ..."
Trustworthy Runtime Verification via Bisimulation (Experience Report)
Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, and Robert Dockins
(Galois, USA; KBR @ NASA Ames Research Center, USA; NASA Ames Research Center, USA; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Dodds, Mike |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Trustworthy Runtime Verification ..."
Trustworthy Runtime Verification via Bisimulation (Experience Report)
Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, and Robert Dockins
(Galois, USA; KBR @ NASA Ames Research Center, USA; NASA Ames Research Center, USA; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Elliott, Conal
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Timely Computation ..."
Timely Computation
Conal Elliott
(Independent, USA)
Publisher's Version
|
| |
Erbsen, Andres |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..."
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala
(Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Erdweg, Sebastian |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Combinator-Based Fixpoint ..."
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
Sven Keidel, Sebastian Erdweg, and Tobias Hombücher
(TU Darmstadt, Germany; JGU Mainz, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Eriksson, Oskar |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "A Graded Modal Dependent Type ..."
A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized
Andreas Abel, Nils Anders Danielsson, and Oskar Eriksson
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Felleisen, Matthias
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "How to Evaluate Blame for ..."
How to Evaluate Blame for Gradual Types, Part 2
Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(Northwestern University, USA; Brown University, USA; Northeastern University, USA)
Publisher's Version
|
| |
Fisler, Kathi |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "What Happens When Students ..."
What Happens When Students Switch (Functional) Languages (Experience Report)
Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, and Ethel Tshukudu
(Brown University, USA; University of Botswana, Botswana)
Publisher's Version
Archive submitted (2.7 MB)
|
| |
Fowler, Simon |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Special Delivery: Programming ..."
Special Delivery: Programming with Mailbox Types
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, and Phil Trinder
(University of Glasgow, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Frohlich, Samantha |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Embedding by Unembedding ..."
Embedding by Unembedding
Kazutaka Matsuda, Samantha Frohlich, Meng Wang, and Nicolas Wu
(Tohoku University, Japan; University of Bristol, UK; Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Reflecting on Random Generation ..."
Reflecting on Random Generation
Harrison Goldstein, Samantha Frohlich, Meng Wang, and Benjamin C. Pierce
(University of Pennsylvania, USA; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Fromherz, Aymeric |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Modularity, Code Specialization, ..."
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Son Ho, Aymeric Fromherz, and Jonathan Protzenko
(Inria, France; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Garillot, François
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..."
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong
(Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK)
Publisher's Version
|
| |
Gay, Simon J. |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Special Delivery: Programming ..."
Special Delivery: Programming with Mailbox Types
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, and Phil Trinder
(University of Glasgow, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Gennaro, Rosario |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..."
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong
(Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK)
Publisher's Version
|
| |
Ghaffari, Mohsen |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Formal Specification and Testing ..."
Formal Specification and Testing for Reinforcement Learning
Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, and Andrzej Wąsowski
(IT University of Copenhagen, Denmark; University of Oslo, Norway)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Ghalayini, Jad Elkhaleq |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Explicit Refinement Types ..."
Explicit Refinement Types
Jad Elkhaleq Ghalayini and Neel Krishnaswami
(University of Cambridge, UK)
Publisher's Version
|
| |
Goldstein, Harrison |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Reflecting on Random Generation ..."
Reflecting on Random Generation
Harrison Goldstein, Samantha Frohlich, Meng Wang, and Benjamin C. Pierce
(University of Pennsylvania, USA; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Etna: An Evaluation Platform ..."
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, and Leonidas Lampropoulos
(University of Pennsylvania, USA; University of Maryland, College Park, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Gondelman, Léon |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Verifying Reliable Network ..."
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, and Lars Birkedal
(Aarhus University, Denmark; NOVA-LINCS, Portugal; NOVA School of Sciences and Tecnhology, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Gonnord, Laure |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Bit-Stealing Made Legal: Compilation ..."
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types
Thaïs Baudon, Gabriel Radanne, and Laure Gonnord
(University of Lyon, France; ENS Lyon, France; UCBL, France; CNRS, France; Inria, France; LIP, France; University Grenoble Alpes, France; Grenoble INP, France; LCIS, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Goodloe, Alwyn E. |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Trustworthy Runtime Verification ..."
Trustworthy Runtime Verification via Bisimulation (Experience Report)
Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, and Robert Dockins
(Galois, USA; KBR @ NASA Ames Research Center, USA; NASA Ames Research Center, USA; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Greenman, Ben |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "How to Evaluate Blame for ..."
How to Evaluate Blame for Gradual Types, Part 2
Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(Northwestern University, USA; Brown University, USA; Northeastern University, USA)
Publisher's Version
|
| |
Gruetter, Samuel |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..."
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala
(Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Hinrichsen, Jonas Kastberg
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Dependent Session Protocols ..."
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)
Jules Jacobs, Jonas Kastberg Hinrichsen, and Robbert Krebbers
(Radboud University Nijmegen, Netherlands; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Verifying Reliable Network ..."
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, and Lars Birkedal
(Aarhus University, Denmark; NOVA-LINCS, Portugal; NOVA School of Sciences and Tecnhology, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Ho, Son |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Modularity, Code Specialization, ..."
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Son Ho, Aymeric Fromherz, and Jonathan Protzenko
(Inria, France; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Hombücher, Tobias |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Combinator-Based Fixpoint ..."
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
Sven Keidel, Sebastian Erdweg, and Tobias Hombücher
(TU Darmstadt, Germany; JGU Mainz, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Hubers, Alex |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Generic Programming with Extensible ..."
Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc
Alex Hubers and J. Garrett Morris
(University of Iowa, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Hutton, Graham |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Calculating Compilers for ..."
Calculating Compilers for Concurrency
Patrick Bahr and Graham Hutton
(IT University of Copenhagen, Denmark; University of Nottingham, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Jacobs, Jules
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Dependent Session Protocols ..."
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)
Jules Jacobs, Jonas Kastberg Hinrichsen, and Robbert Krebbers
(Radboud University Nijmegen, Netherlands; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Jhala, Ranjit |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..."
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney
(Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA)
Publisher's Version
|
| |
Johnsen, Einar Broch |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Formal Specification and Testing ..."
Formal Specification and Testing for Reinforcement Learning
Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, and Andrzej Wąsowski
(IT University of Copenhagen, Denmark; University of Oslo, Norway)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Kashiwa, Shun
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "HasChor: Functional Choreographic ..."
HasChor: Functional Choreographic Programming for All (Functional Pearl)
Gan Shen, Shun Kashiwa, and Lindsey Kuper
(University of California at Santa Cruz, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Katsura, Hiroyuki |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Higher-Order Property-Directed ..."
Higher-Order Property-Directed Reachability
Hiroyuki Katsura, Naoki Kobayashi, and Ryosuke Sato
(University of Tokyo, Japan)
Publisher's Version
|
| |
Keidel, Sven |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Combinator-Based Fixpoint ..."
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
Sven Keidel, Sebastian Erdweg, and Tobias Hombücher
(TU Darmstadt, Germany; JGU Mainz, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Keles, Alperen |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Etna: An Evaluation Platform ..."
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, and Leonidas Lampropoulos
(University of Pennsylvania, USA; University of Maryland, College Park, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Kobayashi, Naoki |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Higher-Order Property-Directed ..."
Higher-Order Property-Directed Reachability
Hiroyuki Katsura, Naoki Kobayashi, and Ryosuke Sato
(University of Tokyo, Japan)
Publisher's Version
|
| |
Krebbers, Robbert |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Dependent Session Protocols ..."
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)
Jules Jacobs, Jonas Kastberg Hinrichsen, and Robbert Krebbers
(Radboud University Nijmegen, Netherlands; Aarhus University, Denmark)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Krishnamurthi, Shriram |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "What Happens When Students ..."
What Happens When Students Switch (Functional) Languages (Experience Report)
Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, and Ethel Tshukudu
(Brown University, USA; University of Botswana, Botswana)
Publisher's Version
Archive submitted (2.7 MB)
|
| |
Krishnaswami, Neel |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Explicit Refinement Types ..."
Explicit Refinement Types
Jad Elkhaleq Ghalayini and Neel Krishnaswami
(University of Cambridge, UK)
Publisher's Version
|
| |
Künzang, Chhi’mèd |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..."
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong
(Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK)
Publisher's Version
|
| |
Kuper, Lindsey |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "HasChor: Functional Choreographic ..."
HasChor: Functional Choreographic Programming for All (Functional Pearl)
Gan Shen, Shun Kashiwa, and Lindsey Kuper
(University of California at Santa Cruz, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Lampropoulos, Leonidas
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Etna: An Evaluation Platform ..."
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, and Leonidas Lampropoulos
(University of Pennsylvania, USA; University of Maryland, College Park, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Lazarek, Lukas |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "How to Evaluate Blame for ..."
How to Evaluate Blame for Gradual Types, Part 2
Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas
(Northwestern University, USA; Brown University, USA; Northeastern University, USA)
Publisher's Version
|
| |
Leijen, Daan |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "FP²: Fully in-Place Functional ..."
FP²: Fully in-Place Functional Programming
Anton Lorenzen, Daan Leijen, and Wouter Swierstra
(University of Edinburgh, UK; Microsoft Research, USA; Utrecht University, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Liu, Yiyun |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Dependently-Typed Programming ..."
Dependently-Typed Programming with Logical Equality Reflection
Yiyun Liu and Stephanie Weirich
(University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Lorenzen, Anton |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "FP²: Fully in-Place Functional ..."
FP²: Fully in-Place Functional Programming
Anton Lorenzen, Daan Leijen, and Wouter Swierstra
(University of Edinburgh, UK; Microsoft Research, USA; Utrecht University, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Lu, Kuang-Chen |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "What Happens When Students ..."
What Happens When Students Switch (Functional) Languages (Experience Report)
Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, and Ethel Tshukudu
(Brown University, USA; University of Botswana, Botswana)
Publisher's Version
Archive submitted (2.7 MB)
|
| |
Lutze, Matthew |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "With or Without You: Programming ..."
With or Without You: Programming with Effect Exclusion
Matthew Lutze, Magnus Madsen, Philipp Schuster, and Jonathan Immanuel Brachthäuser
(Aarhus University, Denmark; University of Tübingen, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Madsen, Magnus
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "With or Without You: Programming ..."
With or Without You: Programming with Effect Exclusion
Matthew Lutze, Magnus Madsen, Philipp Schuster, and Jonathan Immanuel Brachthäuser
(Aarhus University, Denmark; University of Tübingen, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Matsuda, Kazutaka |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Embedding by Unembedding ..."
Embedding by Unembedding
Kazutaka Matsuda, Samantha Frohlich, Meng Wang, and Nicolas Wu
(Tohoku University, Japan; University of Bristol, UK; Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Møgelberg, Rasmus Ejlers |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Asynchronous Modal FRP ..."
Asynchronous Modal FRP
Patrick Bahr and Rasmus Ejlers Møgelberg
(IT University of Copenhagen, Denmark)
Publisher's Version
|
| |
Morris, J. Garrett |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Generic Programming with Extensible ..."
Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc
Alex Hubers and J. Garrett Morris
(University of Iowa, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Nicole, Olivier
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "MacoCaml: Staging Composable ..."
MacoCaml: Staging Composable and Compilable Macros
Ningning Xie, Leo White, Olivier Nicole, and Jeremy Yallop
(University of Toronto, Canada; Jane Street, UK; Tarides, France; University of Cambridge, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Pereira, Mário
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Verifying Reliable Network ..."
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, and Lars Birkedal
(Aarhus University, Denmark; NOVA-LINCS, Portugal; NOVA School of Sciences and Tecnhology, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Perez, Ivan |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Trustworthy Runtime Verification ..."
Trustworthy Runtime Verification via Bisimulation (Experience Report)
Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, and Robert Dockins
(Galois, USA; KBR @ NASA Ames Research Center, USA; NASA Ames Research Center, USA; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Peyton Jones, Simon |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..."
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney
(Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA)
Publisher's Version
|
| |
Pierce, Benjamin C. |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Reflecting on Random Generation ..."
Reflecting on Random Generation
Harrison Goldstein, Samantha Frohlich, Meng Wang, and Benjamin C. Pierce
(University of Pennsylvania, USA; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Etna: An Evaluation Platform ..."
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, and Leonidas Lampropoulos
(University of Pennsylvania, USA; University of Maryland, College Park, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Protzenko, Jonathan |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Modularity, Code Specialization, ..."
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Son Ho, Aymeric Fromherz, and Jonathan Protzenko
(Inria, France; Microsoft Research, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Pyzik, Mateusz |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "A General Fine-Grained Reduction ..."
A General Fine-Grained Reduction Theory for Effect Handlers
Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki
(Heriot-Watt University, UK; University of Wrocław, Poland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Radanne, Gabriel
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Bit-Stealing Made Legal: Compilation ..."
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types
Thaïs Baudon, Gabriel Radanne, and Laure Gonnord
(University of Lyon, France; ENS Lyon, France; UCBL, France; CNRS, France; Inria, France; LIP, France; University Grenoble Alpes, France; Grenoble INP, France; LCIS, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Rogozin, Daniel |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..."
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong
(Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK)
Publisher's Version
|
| |
Sato, Ryosuke
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Higher-Order Property-Directed ..."
Higher-Order Property-Directed Reachability
Hiroyuki Katsura, Naoki Kobayashi, and Ryosuke Sato
(University of Tokyo, Japan)
Publisher's Version
|
| |
Schuster, Philipp |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "With or Without You: Programming ..."
With or Without You: Programming with Effect Exclusion
Matthew Lutze, Magnus Madsen, Philipp Schuster, and Jonathan Immanuel Brachthäuser
(Aarhus University, Denmark; University of Tübingen, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Scott, Ryan G. |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Trustworthy Runtime Verification ..."
Trustworthy Runtime Verification via Bisimulation (Experience Report)
Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, and Robert Dockins
(Galois, USA; KBR @ NASA Ames Research Center, USA; NASA Ames Research Center, USA; Amazon, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Shen, Gan |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "HasChor: Functional Choreographic ..."
HasChor: Functional Choreographic Programming for All (Functional Pearl)
Gan Shen, Shun Kashiwa, and Lindsey Kuper
(University of California at Santa Cruz, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Shi, Jessica |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Etna: An Evaluation Platform ..."
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, and Leonidas Lampropoulos
(University of Pennsylvania, USA; University of Maryland, College Park, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Shivers, Olin |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..."
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney
(Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA)
Publisher's Version
|
| |
Sieczkowski, Filip |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "A General Fine-Grained Reduction ..."
A General Fine-Grained Reduction Theory for Effect Handlers
Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki
(Heriot-Watt University, UK; University of Wrocław, Poland)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
|
| |
Singh, Pratap |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..."
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala
(Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Sowul, Franciszek |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Special Delivery: Programming ..."
Special Delivery: Programming with Mailbox Types
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, and Phil Trinder
(University of Glasgow, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Steele Jr., Guy L. |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..."
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney
(Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA)
Publisher's Version
|
| |
Sweeney, Tim |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "The Verse Calculus: A Core ..."
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., and Tim Sweeney
(Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA)
Publisher's Version
|
| |
Swierstra, Wouter |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "FP²: Fully in-Place Functional ..."
FP²: Fully in-Place Functional Programming
Anton Lorenzen, Daan Leijen, and Wouter Swierstra
(University of Edinburgh, UK; Microsoft Research, USA; Utrecht University, Netherlands)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Thiemann, Peter
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Intrinsically Typed Sessions ..."
Intrinsically Typed Sessions with Callbacks (Functional Pearl)
Peter Thiemann
(University of Freiburg, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Timany, Amin |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Verifying Reliable Network ..."
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, and Lars Birkedal
(Aarhus University, Denmark; NOVA-LINCS, Portugal; NOVA School of Sciences and Tecnhology, Portugal)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Trinder, Phil |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Special Delivery: Programming ..."
Special Delivery: Programming with Mailbox Types
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, and Phil Trinder
(University of Glasgow, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Tshukudu, Ethel |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "What Happens When Students ..."
What Happens When Students Switch (Functional) Languages (Experience Report)
Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, and Ethel Tshukudu
(Brown University, USA; University of Botswana, Botswana)
Publisher's Version
Archive submitted (2.7 MB)
|
| |
Varshosaz, Mahsa
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Formal Specification and Testing ..."
Formal Specification and Testing for Reinforcement Learning
Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, and Andrzej Wąsowski
(IT University of Copenhagen, Denmark; University of Oslo, Norway)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wang, Meng
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Embedding by Unembedding ..."
Embedding by Unembedding
Kazutaka Matsuda, Samantha Frohlich, Meng Wang, and Nicolas Wu
(Tohoku University, Japan; University of Bristol, UK; Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Reflecting on Random Generation ..."
Reflecting on Random Generation
Harrison Goldstein, Samantha Frohlich, Meng Wang, and Benjamin C. Pierce
(University of Pennsylvania, USA; University of Bristol, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wąsowski, Andrzej |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Formal Specification and Testing ..."
Formal Specification and Testing for Reinforcement Learning
Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, and Andrzej Wąsowski
(IT University of Copenhagen, Denmark; University of Oslo, Norway)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Weirich, Stephanie |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Dependently-Typed Programming ..."
Dependently-Typed Programming with Logical Equality Reflection
Yiyun Liu and Stephanie Weirich
(University of Pennsylvania, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
White, Leo |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "MacoCaml: Staging Composable ..."
MacoCaml: Staging Composable and Compilable Macros
Ningning Xie, Leo White, Olivier Nicole, and Jeremy Yallop
(University of Toronto, Canada; Jane Street, UK; Tarides, France; University of Cambridge, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wong, Cameron |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "LURK: Lambda, the Ultimate ..."
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, and Cameron Wong
(Harvard University, USA; Lurk Lab, USA; Lurk Lab, Canada; City College of New York, USA; University College London, UK)
Publisher's Version
|
| |
Wright, Andy |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Flexible Instruction-Set Semantics ..."
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala
(Massachusetts Institute of Technology, USA; Georgia Institute of Technology, USA; Carnegie Mellon University, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Wu, Nicolas |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Embedding by Unembedding ..."
Embedding by Unembedding
Kazutaka Matsuda, Samantha Frohlich, Meng Wang, and Nicolas Wu
(Tohoku University, Japan; University of Bristol, UK; Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Modular Models of Monoids ..."
Modular Models of Monoids with Operations
Zhixuan Yang and Nicolas Wu
(Imperial College London, UK)
Publisher's Version
|
| |
Xie, Ningning
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "MacoCaml: Staging Composable ..."
MacoCaml: Staging Composable and Compilable Macros
Ningning Xie, Leo White, Olivier Nicole, and Jeremy Yallop
(University of Toronto, Canada; Jane Street, UK; Tarides, France; University of Cambridge, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Yallop, Jeremy
|
Proc. ACM Program. Lang., vol. 7, issue ICFP: "MacoCaml: Staging Composable ..."
MacoCaml: Staging Composable and Compilable Macros
Ningning Xie, Leo White, Olivier Nicole, and Jeremy Yallop
(University of Toronto, Canada; Jane Street, UK; Tarides, France; University of Cambridge, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
|
| |
Yang, Zhixuan |
Proc. ACM Program. Lang., vol. 7, issue ICFP: "Modular Models of Monoids ..."
Modular Models of Monoids with Operations
Zhixuan Yang and Nicolas Wu
(Imperial College London, UK)
Publisher's Version
|