User loginNavigation |
Lambda, The Ultimate TA, Benjamin C. Pierce, ICFP 2009Benjamin C. Pierce. Lambda, The Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations, September 2009. Keynote address at International Conference on Functional Programming (ICFP). And related material, Online book Software Foundations. Lecture notes Software Foundations (CIS 500), spring 2010 . Compare with LTU 2008 here By Marlene Miller at 2010-06-01 05:00 | LtU Forum | previous forum topic | next forum topic | other blogs | 5690 reads
|
Browse archivesActive forum topics |
Recent comments
6 weeks 4 days ago
6 weeks 6 days ago
7 weeks 14 hours ago
14 weeks 12 hours ago
19 weeks 5 days ago
19 weeks 6 days ago
20 weeks 5 days ago
23 weeks 3 days ago
24 weeks 6 days ago
25 weeks 2 hours ago