| 2020 | Designing a Programming Environment Based on the Program Design Recipe (Lightening Talk). | Junya Nose, Youyou Cong, Hidehiko Masuhara |
| 2020 | Solving SICP: An Experience Report on Solving the World's Most Famous Programming Problem Set. | Vladimir Nikishkin |
| 2020 | Scheme for scientific computing. | Francesco Montanari |
| 2020 | Programming with Petri Nets to Reason about Concurrency. | Julien Lepiller |
| 2020 | 21st Century Lisp in Academic Research and Pedagogy. | Bohdan Khomtchouk, Jonah Fleishhacker |
| 2020 | Practical dependent type checking using twin types. | Vctor Lpez Juan, Nils Anders Danielsson |
| 2020 | SICP JS: Ketchup on Caviar? | Martin Henz, Tobias Wrigstad |
| 2020 | Clotho: A Racket Library for Parametric Randomness. | Pierce Darragh, William Gallard Hatch, Eric Eide |
| 2020 | On Teaching Type Systems as Macros (Lightning Talk). | Youyou Cong, Naoya Furudono, Hidehiko Masuhara |
| 2019 | Mobile game programming in Haskell. | Christina Zeller, Ivan Perez |
| 2019 | Compositional deep learning in Futhark. | Duc Minh Tran, Troels Henriksen, Martin Elsman |
| 2019 | Lazy evaluation in infinite-dimensional function spaces with wavelet basis. | Justus Sagemller, Olivier Verdier |
| 2019 | A functional model of jazz improvisation. | Donya Quick, Kelland Thomas |
| 2019 | Position-dependent arrays and their application for high performance code generation. | Federico Pizzuti, Michel Steuwer, Christophe Dubach |
| 2019 | Constraint-based type-directed program synthesis. | Peter-Michael Osera |
| 2019 | Deferring the details and deriving programs. | Liam O'Connor |
| 2019 | The sound of lambda. | Felipe Ignacio Noriega, Anne Veinberg |
| 2019 | Inductive types deconstructed: the calculus of united constructions. | Stefan Monnier |
| 2019 | What constitutes a musical pattern? | Orestis Melkonian, Iris Yuping Ren, Wouter Swierstra, Anja Volk |
| 2019 | Music as language: putting probabilistic temporal graph grammars to good use. | Orestis Melkonian |
| 2019 | Generating efficient FFT GPU code with Lift. | Bastian Kpcke, Michel Steuwer, Sergei Gorlatch |
| 2019 | Csound-expression: Haskell framework for computer music. | Anton Kholomiov |
| 2019 | Screaming in the IO monad: a realtime audio processing and control experiment in Haskell. | David Janin |
| 2019 | How to do proofs: practically proving properties about effectful programs' results (functional pearl). | Koen Jacobs, Andreas Nuyts, Dominique Devriese |
| 2019 | Tic tac types: a gentle introduction to dependently typed programming (functional pearl). | Sean Innes, Nicolas Wu |