Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations
Benjamin C. Pierce; University of Pennsylvania
International Conference on Functional Programming (ICFP)
Loading more stuff…
Hmm…it looks like things are taking a while to load. Try again?
TM + © 2013 Vimeo, LLC. All rights reserved.
Made with k in NYC.