wiki:Past/2017

Version 9 (modified by Ben Lippmeier, 4 years ago) (diff)

--

Past Meetings, 2017

90: 25th January

91: 22nd February

  • Erik de Castro Lopo: Hey Dude, Where's my Heap?
  • Louis Pan: Composable Glazier widgets with ReactJS
  • Amos Robinson: Sooner and later: schema specialisation with staged computation

92: 22nd March

93: 26th April

94: 24th May

  • Rob Clifton-Everest: Expressing Array Programs.
  • Johan Tibbell: Unboxing sum types.
  • Tim McGilchrist: Dependent typing, not just for vectors.

95: 28th June

  • Coq Fight Night

96: 26th July