Functional Discussions

This is a past event

14 people went

Location image of event venue


This month: Jon Sterling will give an introduction to Computational Type Theory and its proof refinement logic, and show off some super cool stuff in JonPRL and Nuprl, like how to get coinductive types for free from intersection types and general recursion. And of course, answer a ton of questions.