Hacker News
- L – A Common Lisp for Embedded Systems (1995) [pdf] https://web.archive.org/web/20041031144839/http:/www-2.cs.cmu.edu/~chuck/pubpg/luv95.pdf 2 comments
- Manuel Blum: Advice to a beginning graduate student http://www-2.cs.cmu.edu/~mblum/research/pdf/grad.html 16 comments
- L – A Common Lisp for Embedded Systems (1995) [pdf] https://web.archive.org/web/20041031144839/http://www-2.cs.cmu.edu/~chuck/pubpg/luv95.pdf 2 comments lisp
- Manuel Blum (Turing Award winner): "Advice to a beginning graduate student". http://www-2.cs.cmu.edu/~mblum/research/pdf/grad.html 14 comments compsci
- Why monads are a poor foundation for dealing with side-effects [PDF] http://www-2.cs.cmu.edu/~rwh/papers/modaleff/short.pdf 9 comments programming
Lambda the Ultimate
- Selective Open Recursion: A Solution to the Fragile Base Class Problem http://www-2.cs.cmu.edu/~aldrich/papers/selective-open-recursion.pdf 8 comments OOP
- A Type Theory for Memory Allocation and Data Layout http://www-2.cs.cmu.edu/~rwh/papers.htm#ordered 4 comments theory
- A Modal Language for Effects http://www-2.cs.cmu.edu/~rwh/papers/modaleff/short.pdf 0 comments theory
- A Framework for Programming Embedded Systems http://www-2.cs.cmu.edu/~thrun/papers/thrun.ces-tr.html 0 comments DSL
- Selective Memoization http://www-2.cs.cmu.edu/~rwh/papers/memoization/popl.pdf 0 comments functional
- NESL: A Parallel Programming Language http://www-2.cs.cmu.edu/~scandal/nesl.html 2 comments general
- Usability Issues in the Design of Novice Programming Systems http://www-2.cs.cmu.edu/~pane/cmu-cs-96-132.html 0 comments teaching/learning
- Type Systems for Modularity http://www-2.cs.cmu.edu/~rwh/courses/modules/index.htm 5 comments Software-Eng
- ConCert Project - Certified Code for Grid Computing http://www-2.cs.cmu.edu/~concert/ 0 comments general
- Interactive Simultaneous Editing of Multiple Text Regions http://www-2.cs.cmu.edu/~rcm/papers/usenix01/ 0 comments general