User loginNavigation |
archivesLambda, 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 | login or register to post comments | other blogs | 6248 reads
|
Browse archivesActive forum topics |
Recent comments
16 weeks 2 days ago
16 weeks 2 days ago
16 weeks 2 days ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 15 hours ago
51 weeks 5 days ago
51 weeks 5 days ago