Changes between Version 6 and Version 7 of Past/2019
- Timestamp:
- Oct 21, 2019, 2:31:08 AM (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Past/2019
v6 v7 30 30 * Tim !McGilchrist: Row Polymorphism in Action: How you can mix OO, FP and not end up with Scala 31 31 32 === 116: 24th July === 32 33 34 * Geoffrey Huntley: Watch me format my wife's computer. 35 * Amos Robinson: Program-carrying Proofs in Coq: using tactics for dependently typed programming. 36 37 === 117: 28th August === 38 39 * Sam Roberton: Reflex-FRP in practice. 40 * Andrae Muys: Intermediate level DAML development. 41 42 === 118: 25th September === 43 44 * Michael Sproul: CakeML for the working programmer. 45 * Erik de Castro Lopo: Haskell with PostgreSQL 46