| Version 2 (modified by , 13 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.
