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, ​Hindemith in Haskell
• Liam O'Conner, Zippers and Data Type Differentiation

43: 19th April

• Ben Lippmeier, Recent changes to the REPA API
• Tom Sewell, Binders and manipulating higher-order functions
• Eric Willigers, The SKI Combinator

44: 17th May

• Trevor McDonell? : The Current status of Accelerate
• Raphael Speyer : Unix programming in OCaml
• Tim Docker : Abstract Composable GUIs