Powered by
Proceedings of the ACM on Programming Languages, Volume 7, Number ICFP,
September 4–9, 2023,
Seattle, WA, USA
Frontmatter
Papers
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Nada Amin
![ORCID logo](images/orcid.svg)
, John Burnham
![ORCID logo](images/orcid.svg)
, François Garillot
![ORCID logo](images/orcid.svg)
, Rosario Gennaro
![ORCID logo](images/orcid.svg)
, Chhi’mèd Künzang
![ORCID logo](images/orcid.svg)
, Daniel Rogozin
![ORCID logo](images/orcid.svg)
, 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
Info
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Lennart Augustsson
![ORCID logo](images/orcid.svg)
,
Joachim Breitner ![ORCID logo](images/orcid.svg)
, Koen Claessen
![ORCID logo](images/orcid.svg)
, Ranjit Jhala
![ORCID logo](images/orcid.svg)
, Simon Peyton Jones
![ORCID logo](images/orcid.svg)
, Olin Shivers
![ORCID logo](images/orcid.svg)
, Guy L. Steele Jr.
![ORCID logo](images/orcid.svg)
, and Tim Sweeney
(Epic Games, Sweden; Unaffiliated, Germany; Epic Games, USA; Epic Games, UK; Oracle Labs, USA)
Publisher's Version
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types
Thaïs Baudon
![ORCID logo](images/orcid.svg)
,
Gabriel Radanne ![ORCID logo](images/orcid.svg)
, 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
Info
Artifacts Available
Artifacts Reusable
proc time: 5.75