Scheme 2020
as the organisers put it
The Scheme and Functional Programming Workshop is a yearly meeting of programming language practitioners who share an aesthetic sense embodied by the Algorithmic Language Scheme: universality through minimalism, and flexibility through rigorous design. The proceedings are now available! You can download them from arXiv or the University of Michigan. NOTE: Deadline changed to 31 May NOTE: Author notification date changed to 19 June NOTE: Camera Ready date changed to 7 July NOTE: acmart format clarified to be sigplan
who it's for
programming language educators, Scheme and Racket developers, programming language researchers, language implementers, systems programmers, computational scientists, tooling and library authors
topics
Source sublanguages for SICP JS; Source Academy transpiler; proper tail call handling; parametric randomness byte-string seeds; randomness abstraction for fuzzing; Racket futures and places; MPI extension for CHICKEN; AD R6RS automatic differentiation; Program Design Recipe tooling; Turnstile DSL for typing rules; guile-petri Petri net library; Gambit-based Mimosa operating system
| title | author | length |
|---|---|---|
| SICP JS: Ketchup on Caviar? | Martin Henz, Tobias Wrigstad | 01h 12m |
Adapts SICP to real-world JavaScript by defining four Source sublanguages that map SICP chapters to ECMAScript 2015 features (let/const, arrow funcs), adds an… | ||
| Clotho: A Racket Library for Parametric Randomness | Pierce Darragh, William Gallard Hatch, Eric Eide | 26m |
Clotho is a Racket library that encodes every random choice as parameters inside a byte string seed (first 4 bytes seed an internal PRG, subsequent 4-byte… | ||
| Scheme for scientific computing | Francesco Montanari | 28m |
Survey of current Scheme systems shows Chez Scheme, CHICKEN, Gambit, Racket aiming at scientific use with Chez and Gambit compiling within a few× of C, Racket… | ||
| Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk) | Junya Nose, Youyou Cong, Hidehiko Masuhara | 10m |
A prototype browser-based UI walks through the Program Design Recipe and a feedback generator checks data examples, templates and simple termination hints by… | ||
| On Teaching Type Systems as Macros (Lightning Talk) | Youyou Cong, Naoya Furudono, Hidehiko Masuhara | 09m |
Course uses the Racket DSL Turnstile to let students write typing rules in paperlike syntax and also specify runtime behavior; a student implements a… | ||
| Programming with Petri Nets to Reason about Concurrency (Lightning Talk) | Julien Lepiller | 05m |
A library called guile-petri models concurrency with Petri nets where places→queues tokens→data and transitions are functions that consume inputs and emit… | ||
| Running Scheme On Bare Metal (Experience Report) | Samuel Yvon, Marc Feeley | 22m |
A Scheme-based OS called Mimosa runs on Gambit runtime on 32-bit x86 hardware (tested in QEMU) and provides drivers for keyboard, UART, IDE, RTC and a serial… | ||
| Experience Report on Solving the Problem Set of SICP completely. | Vladimir Nikishkin | 29m |
The project solves 353 problems from SICP portably using chibi-scheme, Emacs org‑mode notebooks and tix for figures, records 729 hours total of work with… | ||
| 21st Century Lisp in Academic Research and Pedagogy | Jonah Fleishhacker, Bohdan Khomtchouk | 53m |
Asserts that Lisp-family languages drive real research and teaching: Common Lisp codebases power a bioinformatics database + NLP pipeline and a search… | ||
| nothing matches | ||