Past Meetings, 2013

52: 27th March

• Erik de Castro Lopo: Persistent and Esqueleto
• Eric Torreborre: Kiama, a walk down the beach
• Liam O'Connor-Davis: Type Theory is Proof Theory

51: 27th February

• ​Ben Lippmeier, The Beluga Language
• Dhanji Prasanna, The Loop Language
• Boey Maun Suang, The J Language

--: January (no meeting)