Version 1 (modified by Ben Lippmeier, 12 years ago) (diff)


Past Meetings, 2012

41: 16th February

  • Ben Sinclair, A certified adder in Agda
  • Erik de Castro Lopo, From Enumerator to Conduit
  • Brian McKenna, Roy - a function language that compiles to Javascript
  • Eric Torreborre, The Essence of the Iterator Pattern
  • Discussion of the speakers roster for 2012.