Lobsters
- 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