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: 4.72