110: 23rd January
- Gene Taylor: Inductive Graphs in Haskell
- Ben Lippmeier: Types (are/want to be) Calling Conventions
111: 27th February
- Barry Jay: Computing with Trees not Numbers
- Jed Wesley-Smith: Why "Names Don't Matter" Matters
112: 27th March
- John Ky: Parsing JSON with SIMD in Haskell (and C)
- Rob Howard: JavaScript and FP
113: 24th April
- Ben Lippmeier: Smart Contracts as Authorized Production Rules
- Rongmin Lu: William Lawvere and the paradox generating machine
114: 22nd May
- Mark Hopkins: Dependent Types Made Difficult
- Erik de Castro Lopo: Recent Developments at IOHK
115: 26th June
- Huw Campbell: Nix package manager for easier collaboration and development
- Tim McGilchrist: Row Polymorphism in Action: How you can mix OO, FP and not end up with Scala
116: 24th July
- Geoffrey Huntley: Watch me format my wife's computer.
- Amos Robinson: Program-carrying Proofs in Coq: using tactics for dependently typed programming.
117: 28th August
- Sam Roberton: Reflex-FRP in practice.
- Andrae Muys: Intermediate level DAML development.
118: 25th September
- Michael Sproul: CakeML for the working programmer.
- Erik de Castro Lopo: Haskell with PostgreSQL
119: 23rd October
- Ben Lippmeier: The Why3 theorem proving framework.
- Rongmin Lu: The differentiable curry and other misadventures in differentiable programming.
120: 27th November
- Jost Berthold
- (speaker needed)
Last modified 4 years ago
Last modified on Jan 17, 2020, 3:53:59 AM