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