Changes between Version 26 and Version 27 of WikiStart
- Timestamp:
- Apr 28, 2011, 10:07:42 AM (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v26 v27 23 23 * Erik de Castro Lopo: Wai, Warp and http-enumerator : OMFG, the types, they hurt my eyes! 24 24 * Ben Lippmeier, Hacking Data Parallel Haskell 25 * Speaker 3, Talk title (if known) 26 * Speaker 4, Talk title (if known) 25 * Tom Sewell, Theoretical Theorem Proving (longer talk). 27 26 28 27 === 16th June === 29 28 * Eric Willigers, Type Systems in Theorem Provers 30 29 * Raphael Speyer, !JoCaml 31 * Eric Torreborre, specs2: go functional! (40 mins)30 * Dominic Verity, Category Theory part II (longer talk). 32 31 33 32 === 21st July === 34 33 * Shane Stephens 35 34 * Speaker 2, Talk title (if known) 35 * Eric Torreborre, specs2: go functional! (40 mins) 36 37 38 === 18th August === 39 * Speaker 1, Talk title (if known) 40 * Speaker 2, Talk title (if known) 36 41 * Speaker 3, Talk title (if known) 37 42 * Speaker 4, Talk title (if known) 38