| | 2 | |
| | 3 | === 79: 21th October === |
| | 4 | |
| | 5 | * Eric Torreborre: Data Generation; the hard parts. |
| | 6 | * Dom de Re: Adjoint Functors, mathspeak for 'Two sides of the same coin' |
| | 7 | * Yutaka Nagashima: Proof automation with monads. |
| | 8 | |
| | 9 | === 78: 23rd September === |
| | 10 | |
| | 11 | * Raphael Speyer |
| | 12 | * Tim !McGilchrist: Lightweight higher-kinded polymorphism. |
| | 13 | * Andrae Muys: Semiotics and the Unreasonable Effectiveness of Logic Programming in Schema Management |
| | 14 | |
| | 15 | === 77: 26th August === |
| | 16 | |
| | 17 | * Sharif Olorin: Approximate streaming quantiles: a case study in Haskell. |
| | 18 | * Boey Maun Suang: A brief tour of typed racket. |
| | 19 | * Trevor !McDonell: Type-safe runtime code generation: Accelerate to LLVM |
