discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Lambda, The Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations [PDF]
http://www.cis.upenn.edu/~bcpierce/papers/lambdata.pdf
8 comments
22/11/2009
programming