| | 2 | |
| | 3 | === 59: 16th October === |
| | 4 | * Erik de Castro Lopo: ICFP Retrospective |
| | 5 | * Ben Lippmeier: Data Flow Fusion with Series Expressions |
| | 6 | * Liam O'Connor: CDSL: A Restricted Functional Language for Verification of File Systems |
| | 7 | |
| | 8 | === 58: 18th September === |
| | 9 | * George Roldugin: Functional Computer Music |
| | 10 | * Maun Suang Boey: Shen: It's Lisp, Jim, but not as we know it. |
| | 11 | |
| | 12 | === 57: 28th August === |
| | 13 | * Julian Gamble: Simulation testing with Datomic |
| | 14 | * Tom Sewell: Things I've learned about SAT |
| | 15 | * Shane Stephens: Generating a Functional API for Web Animations |
