| 2016 | Generic partially-static data (extended abstract). | David Kaloper-Mersinjak, Jeremy Yallop |
| 2016 | Deriving a probability density calculator (functional pearl). | Wazim Mohammed Ismail, Chung-chieh Shan |
| 2016 | Programming with monadic CSP-style processes in dependent type theory. | Bashar Igried, Anton Setzer |
| 2016 | Liberating effects with rows and handlers. | Daniel Hillerstrm, Sam Lindley |
| 2016 | APL on GPUs: a TAIL from the past, scribbled in Futhark. | Troels Henriksen, Martin Dybdal, Henrik Urms, Anna Sofie Kiehn, Daniel Gavin, Hjalte Abelskov, Martin Elsman, Cosmin E. Oancea |
| 2016 | Juniper: a functional reactive programming language for the Arduino. | Caleb Helbling, Samuel Z. Guyer |
| 2016 | Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. | Thomas Gilray, Michael D. Adams, Matthew Might |
| 2016 | APLicative programming with Naperian functors (extended abstract). | Jeremy Gibbons |
| 2016 | Combining effects and coeffects via grading. | Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu |
| 2016 | Call for collaboration: computational musicology, ????, profit. | Chris Ford |
| 2016 | An agda formalisation of the transitive closure of block matrices (extended abstract). | Adam Sandberg Eriksson, Patrik Jansson |
| 2016 | Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing. | Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki |
| 2016 | Low-level functional GPU programming for parallel algorithms. | Martin Dybdal, Martin Elsman, Bo Joel Svensson, Mary Sheeran |
| 2016 | Sequent calculus as a compiler intermediate language. | Paul Downen, Luke Maurer, Zena M. Ariola, Simon Peyton Jones |
| 2016 | Oh Lord, please don't let contracts be misunderstood (functional pearl). | Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen |
| 2016 | Generic lookup and update for infinitary inductive-recursive types. | Larry Diehl, Tim Sheard |
| 2016 | Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. | David Darais, David Van Horn |
| 2016 | Partial type equivalences for verified dependent interoperability. | Pierre-variste Dagand, Nicolas Tabareau, ric Tanter |
| 2016 | Unifiers as equivalences: proof-relevant unification of dependently typed data. | Jesper Cockx, Dominique Devriese, Frank Piessens |
| 2016 | A type theory for incremental computational complexity with control flow changes. | Ezgi iek, Zoe Paraskevopoulou, Deepak Garg |
| 2016 | All sorts of permutations (functional pearl). | Jan Christiansen, Nikita Danilenko, Sandra Dylus |
| 2016 | Elaborator reflection: extending Idris in Idris. | David R. Christiansen, Edwin C. Brady |
| 2016 | Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. | David Castro, Kevin Hammond, Susmit Sarkar |
| 2016 | Set-theoretic types for polymorphic variants. | Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen |
| 2016 | o.OM: structured-functional communication between computer music systems using OSC and Odot. | Jean Bresson, John MacCallum, Adrian Freed |