| Version 3 (modified by , 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 functional language that compiles to Javascript
- Eric Torreborre, The Essence of the Iterator Pattern
- Discussion of the speakers roster for 2012.
42: 15th March
- Ben Lippmeier, Contextual equivalence and the ciu-theorem.
- Shane Stephens
- Liam O'Conner
