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 | 6227 reads
|
Browse archives
Active forum topics |
Recent comments
13 weeks 2 days ago
13 weeks 3 days ago
13 weeks 3 days ago
35 weeks 4 days ago
39 weeks 6 days ago
41 weeks 3 days ago
41 weeks 3 days ago
44 weeks 1 day ago
48 weeks 5 days ago
48 weeks 5 days ago