Login / Signup
Scheme@ICFP
2012
2015
2018
2021
2012
2021
Keyphrases
Publications
2021
Proceedings of the 2020 Scheme and Functional Programming Workshop, Online, Virtual Event, August 20-28, 2020.
Scheme@ICFP
(2021)
2020
Youyou Cong
,
Naoya Furudono
,
Hidehiko Masuhara
On Teaching Type Systems as Macros (Lightning Talk).
Scheme@ICFP
(2020)
Pierce Darragh
,
William Gallard Hatch
,
Eric Eide
Clotho: A Racket Library for Parametric Randomness.
Scheme@ICFP
(2020)
Martin Henz
,
Tobias Wrigstad
SICP JS: Ketchup on Caviar?
Scheme@ICFP
(2020)
Samuel Yvon
,
Marc Feeley
Running Scheme On Bare Metal (Experience Report).
Scheme@ICFP
(2020)
Bohdan Khomtchouk
,
Jonah Fleishhacker
21st Century Lisp in Academic Research and Pedagogy.
Scheme@ICFP
(2020)
Vladimir Nikishkin
Solving SICP: An Experience Report on Solving the World's Most Famous Programming Problem Set.
Scheme@ICFP
(2020)
Francesco Montanari
Scheme for scientific computing.
Scheme@ICFP
(2020)
Julien Lepiller
Programming with Petri Nets to Reason about Concurrency.
Scheme@ICFP
(2020)
Junya Nose
,
Youyou Cong
,
Hidehiko Masuhara
Designing a Programming Environment Based on the Program Design Recipe (Lightening Talk).
Scheme@ICFP
(2020)
2012
Christopher J. Dutchyn
AspectScheme: aspects in higher-order languages.
Scheme@ICFP
(2012)
Kurt Nørmark
Scheme on the web and in the classroom: a retrospective about the LAML project.
Scheme@ICFP
(2012)
Florian Loitsch
Optimizing JavaScript code for V8.
Scheme@ICFP
(2012)
Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, Copenhagen, Denmark, September 9-15, 2012
Scheme@ICFP
(2012)
Eric Thivierge
,
Marc Feeley
Efficient compilation of tail calls and continuations to JavaScript.
Scheme@ICFP
(2012)
Michael Sperber
,
Marcus Crestani
Form over function: teaching beginners how to construct programs.
Scheme@ICFP
(2012)
Andrew W. Keep
,
Alex Hearn
,
R. Kent Dybvig
Optimizing closures in O(0) time.
Scheme@ICFP
(2012)
Jeremy G. Siek
,
Ronald Garcia
Interpretations of the gradually-typed lambda calculus.
Scheme@ICFP
(2012)
Morten Rhiger
Hygienic quasiquotation in scheme.
Scheme@ICFP
(2012)
Andrew W. Keep
,
R. Kent Dybvig
A sufficiently smart compiler for procedural records.
Scheme@ICFP
(2012)
William E. Byrd
,
Eric Holk
,
Daniel P. Friedman
miniKanren, live and untagged: quine generation via relational interpreters (programming pearl).
Scheme@ICFP
(2012)
Ulrik Pagh Schultz
Using scheme to control simulated modular robots.
Scheme@ICFP
(2012)