In our last meeting we finally met types, and applied them to a simple language with boolean and numeric types.
This time, we'll cover the simply-typed lambda calculus - please join us!
Geckoboard, 3rd Floor, 60 Worship St, London EC2A, UK
An event page by Simon Coffey
We ask for your email address so that we and the attendees have a way of contacting you.