| 2017 | FAUST tutorial for functional programmers. | Yann Orlarey, Stphane Letz, Dominique Fober, Romain Michon |
| 2017 | Type-directed diffing of structured data. | Victor Cacciari Miraldo, Pierre-variste Dagand, Wouter Swierstra |
| 2017 | FARM 2017 performances. | Alex McLean |
| 2017 | From high-level radio protocol specifications to efficient low-level implementations via partial evaluation. | Geoffrey Mainland, Siddhanathan Shanmugam |
| 2017 | Structured asynchrony with algebraic effects. | Daan Leijen |
| 2017 | Strategies for regular segmented reductions on GPU. | Rasmus Wriedt Larsen, Troels Henriksen |
| 2017 | Driving types into PHP (invited talk). | Andrew Kennedy |
| 2017 | Generic packet descriptions: verified parsing and pretty printing of low-level data. | Marcell van Geest, Wouter Swierstra |
| 2017 | Modelling the way mathematics is actually done. | Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio, Gabriela Rino Nesin |
| 2017 | FARM 2017 demo summary. | Jean Bresson, Michael Sperber |
| 2017 | In search of a map: using program slicing to discover potential parallelism in recursive functions. | Adam D. Barwell, Kevin Hammond |
| 2017 | Unified media programming: an algebraic approach. | Simon Archipoff, David Janin |
| 2017 | VisPar: visualising dataflow graphs from the Par Monad. | Maximilian Algehed, Patrik Jansson |
| 2016 | Automatically disproving fair termination of higher-order functional programs. | Keiichi Watanabe, Ryosuke Sato, Takeshi Tsukada, Naoki Kobayashi |
| 2016 | Generic Diff3 for algebraic datatypes. | Marco Vassena |
| 2016 | A fully concurrent garbage collector for functional programs on multicore processors. | Katsuhiro Ueno, Atsushi Ohori |
| 2016 | Context-free session types. | Peter Thiemann, Vasco T. Vasconcelos |
| 2016 | Indexed codata types. | David Thibodeau, Andrew Cave, Brigitte Pientka |
| 2016 | A new verified compiler backend for CakeML. | Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish |
| 2016 | Compact bit encoding schemes for simply-typed lambda-terms. | Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, Ayumi Shinohara |
| 2016 | FARM 2016 demo summary. | Michael Sperber, David Janin |
| 2016 | A glimpse of Hopjs. | Manuel Serrano, Vincent Prunet |
| 2016 | Experience report: growing and shrinking polygons for random testing of computational geometry algorithms. | Ilya Sergey |
| 2016 | Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). | Eric L. Seidel, Ranjit Jhala, Westley Weimer |
| 2016 | Journey to find bugs in JavaScript web applications in the wild. | Sukyoung Ryu |