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

, 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
Info
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
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
Info
Artifacts Available
Artifacts Reusable
proc time: 6.4