Hacker News
- Crabs: The Bitmap Terror [pdf] http://lucacardelli.name/Papers/Crabs.pdf 5 comments
- Crabs: The bitmap terror (1985) [pdf] http://lucacardelli.name/Papers/Crabs.pdf 9 comments
- Mobile Ambients – process calculus for mobile computation (1998) [pdf] http://lucacardelli.name/Papers/MobileAmbientsETAPS98.A4.pdf 3 comments
- Typeful Programming (1993) [pdf] http://lucacardelli.name/Papers/TypefulProg.pdf 2 comments
- Crabs: the bitmap terror (1985) [pdf] http://lucacardelli.name/Papers/Crabs.pdf 5 comments
- Type Systems (2004) [pdf] http://lucacardelli.name/Papers/TypeSystems.pdf 56 comments
- Molecular Programming – The systematic manipulation of matter (2014) [pdf] http://lucacardelli.name/Talks/2014-07-30%20Molecular%20Programming%20(ECOOP).pdf 5 comments
Lobsters
- Type Systems (2004) http://lucacardelli.name/papers/typesystems.pdf 2 comments pdf , plt
- Mobile Ambients (2003) http://lucacardelli.name/Papers/MobileAmbients.A4.pdf 3 comments compsci , pdf
- Crabs: The Bitmap Terror (1985) http://www.lucacardelli.name/Papers/Crabs.pdf 3 comments graphics , historical , pdf
- Typeful Programming (1991) http://www.lucacardelli.name/Papers/TypefulProg.pdf 2 comments formalmethods , pdf , plt , programming
- Luca Cardelli http://lucacardelli.name/ 3 comments person
- Parametric types and type operators http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf 11 comments functionalprogramming
- Obliq - a language with distributed lexical scope! http://lucacardelli.name/talks/1995-05-31%20obliq%20a%20language%20with%20distributed%20scope.pdf 19 comments programming
- On Understanding Types, Data Abstraction, and Polymorphism http://lucacardelli.name/papers/onunderstanding.a4.pdf 7 comments programming
- How OO snuck behind a functional programmer and hit him in the head (pdf) http://lucacardelli.name/slides/2007-08-02%20an%20accidental%20simula%20user%20(ecoop%20prize).pdf 13 comments programming