Hacker News new | past | comments | ask | show | jobs | submit | from login
On Understanding Types, Data Abstraction, and Polymorphism (1985) [pdf] (lucacardelli.name)
8 points by molteanu 52 days ago | past | web
Typeful Programming (1993) [pdf] (lucacardelli.name)
44 points by tpush 3 months ago | past | web | 2 comments
The Quest Language and System (1994) [pdf] (lucacardelli.name)
1 point by tosh 4 months ago | past | web
Crabs: the bitmap terror (1985) [pdf] (lucacardelli.name)
39 points by dsr_ 11 months ago | past | web | 5 comments
The ClearDesk Project(or) (lucacardelli.name)
1 point by dsr_ 12 months ago | past | web
Type Systems (2004) [pdf] (lucacardelli.name)
96 points by tosh on Aug 31, 2017 | past | web | 56 comments
Typeful Programming (1993) [pdf] (lucacardelli.name)
1 point by tjalfi on Aug 27, 2017 | past | web
Luca Cardelli (lucacardelli.name)
1 point by tosh on Aug 19, 2017 | past | web
A semantics of multiple inheritance (1984) [pdf] (lucacardelli.name)
3 points by networked on June 14, 2015 | past | web
Molecular Programming – The systematic manipulation of matter (2014) [pdf] (lucacardelli.name)
24 points by mafribe on Apr 21, 2015 | past | web | 5 comments
Bad engineering properties of oo languages (lucacardelli.name)
1 point by chemcoder on Oct 6, 2012 | past | web | 1 comment
[pdf] Abstract Machines of Systems Biology (lucacardelli.name)
1 point by lgv on Sept 29, 2010 | past | web

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: