~/conference

Scheme 2021

titleauthorlength
Is Space-Efficient Polymorphic Gradual Typing Possible?Atsushi Igarashi, Shota Ozaki, Taro Sekiyama22m
Argument shows that preserving parametric polymorphism plus standard gradual-typing guarantees prevents a generic space-efficient implementation: a formal…
Talk on
Design with Blocks, Code in Textjulian jose09m
A hybrid programming environment is built that forces the Program Design Recipe steps into blocks for data definitions and blocks for…
Lightning on
GRASP: A GRAphical Scheme Programming environmentPanicz Godek25m
Android app GRASP is a graphical S-expression editor implemented in Java and built on-device via Termux; it loads/saves files, renders code as movable boxed…
Lightning on
Scheme as a framework for Deep LearningJeffrey Mark Siskind01h 02m
Claims a compiler-integrated AD system that uses abstract interpretation/partial evaluation and CPS-based checkpointing to move reflective source-to-source…
Talk on
Adding AD to Scheme by Differentiating the InterpreterMehrdad Maleki, Barak A. Pearlmutter26m
Claims a working method to add automatic differentiation to Scheme by differentiating the interpreter and lifting values into layered numerical levels. It…
Talk on
A lightweight approach for accessing Python modules from Gambit SchemeMarc-André Bélanger, Marc Feeley36m
Lightweight Gambit–CPython bridge provides a bi‑directional interface to CPython 3.5+ using the CPython C API and Gambit’s C FFI, builds on Linux/macOS/Windows…
Talk on
Graphite: A Library for Data VisualizationHazel Levine, Sam Tobin-Hochstadt12m
Graphite is a Racket library that reads CSVs into tidy data frames and produces scatter, line and bar plots with aesthetic mappings, additive renderers and…
Lightning on
Scheduling Musical Events in Max/MSP with Scheme For MaxIain Duncan28m
Scheme for Max embeds s7 Scheme inside Max/MSP (and Pure Data) to run live code that schedules musical events. It implements a closure-based scheduler that…
Talk on
So You Want To Analyze Scheme Programs With Datalog?davis ross silverman, e hauson, christopher masinski, Thomas Gilray19m
Implements a modified CESK/AAM with mCFA that uses flat closures and a push-down-for-free allocator, compiles a substantial Scheme subset into CSV EDB facts…
Talk on
Prototypes: Object-Orientation, FunctionallyFrançois René Rideau33m
Argues that prototype-based OO is more fundamental than classes and that the core fits cleanly into pure functional semantics: prototypes are functions that…
Talk on
Layering: The Architecture of ProgramsGerald Jay Sussman, Arthur A. Gleckler54m
Proposes a concrete layering mechanism that attaches metadata layers (units, provenance support sets, automatic differentiation as dual-number differentiation)…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.