| 2019 | Representing music with prefix trees. | Yan Han, Nada Amin, Neel Krishnaswami |
| 2019 | Fun with interfaces (SVG interfaces for musical expression). | Benedict R. Gaster, Nathan Renney, Carinna Parraman |
| 2019 | Demo: counterpoint by construction. | Youyou Cong, John Leo |
| 2019 | Demo: kaleidogen. | Joachim Breitner |
| 2019 | Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. | Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone |
| 2019 | Demo: functors and music. | Heinrich Apfelmus |
| 2019 | Generic level polymorphic n-ary functions. | Guillaume Allais |
| 2018 | HELIX: a case study of a formal verification of high performance program generation. | Vadim Zaliva, Franz Franchetti |
| 2018 | FARM 2018 demo summary. | Brent A. Yorgey, Donya Quick |
| 2018 | Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL. | Ilya Yanok, Nathaniel Nystrom |
| 2018 | Typing, representing, and abstracting control: functional pearl. | Philipp Schuster, Jonathan Immanuel Brachthuser |
| 2018 | Programming-by-example for audio: synthesizing digital signal processing programs. | Mark Santolucito, Kate Rogers, Aedan Lombardo, Ruzica Piskac |
| 2018 | NNdef: livecoding digital musical instruments in SuperCollider using functional reactive programming. | Miguel Cerdeira Negro |
| 2018 | FARM 2018 performances. | Tom E. Murphy |
| 2018 | Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming. | Victor Cacciari Miraldo, Alejandro Serrano |
| 2018 | Authenticated modular maps in Haskell. | Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy |
| 2018 | First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers. | Daan Leijen |
| 2018 | Extensible type-directed editing. | Joomy Korkut, David Thrane Christiansen |
| 2018 | Modular acceleration: tricky cases of functional high-performance computing. | Troels Henriksen, Martin Elsman, Cosmin E. Oancea |
| 2018 | Compositional computational constructive critique: or, how my computer learned to appreciate poetry. | Jennifer Hackett |
| 2018 | Abstract nonsense. | Junia Gonalves |
| 2018 | From algebra to abstract machine: a verified generic construction. | Carlos Tom Cortias, Wouter Swierstra |
| 2017 | A categorial grammar for music and its use in automatic melody generation. | Halley Young |
| 2017 | Destination-passing style for efficient memory management. | Amir Shaikhha, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis |
| 2017 | GALE: a functional graphic adventure library and engine. | Ivan Perez |