Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language  Foundations

Name: Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations
Uploaded: 2009-09-16T17:12:54-04:00
Duration: 1 h 2 min 29 s
Channel: Malcolm Wallace
Description: Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations Benjamin C. Pierce; University of Pennsylvania International Conference…

Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations  Benjamin C. Pierce; University of Pennsylvania  International Conference…