Lambda, The Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations [PDF] - discu.eu

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

Related searches:

Search whole site: site:www.cis.upenn.edu

Search title: Lambda, The Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations [PDF]

See how to search.

Submit link to: