Powered by
Proceedings of the ACM on Programming Languages, Volume 3, Number ICFP,
August 18–23, 2019,
Berlin, Germany
Frontmatter
Compilation and Parallelism
Rebuilding Racket on Chez Scheme (Experience Report)
Matthew Flatt
, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, and Jon Zeppieri
(University of Utah, USA; Indiana University, USA; Cisco Systems, USA; University of Buenos Aires, Argentina)
Publisher's Version
Info
Artifacts Functional
Verified Compilation
Type Theory
Types 1
Program Analysis and Synthesis
The Real World
Dependent Types in Haskell
Program Verification
Dijkstra Monads for All
Kenji Maillard
, Danel Ahman
,
Robert Atkey , Guido Martínez,
Cătălin Hriţcu, Exequiel Rivas, and
Éric Tanter
(Inria, France; ENS, France; University of Ljubljana, Slovenia; University of Strathclyde, UK; CIFASIS-CONICET, Argentina; University of Chile, Chile)
Publisher's Version
Artifacts Functional
Modal Types
Types 2
Lambda-Calculus and Teaching
proc time: 5.98