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)