Changes between Version 18 and Version 19 of Past/2015


Ignore:
Timestamp:
Oct 22, 2015, 5:19:21 AM (5 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Past/2015

    v18 v19  
    11= Past Meetings, 2015 =
     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
    220
    321=== 76: 24th June ===