| | Luca Cardeli: Type Systems [pdf] (lucacardelli.name) |
|
2 points by signa11 on March 10, 2023 | past
|
|
| | Crabs: The Bitmap Terror [pdf] (lucacardelli.name) |
|
63 points by signa11 on Jan 28, 2023 | past | 5 comments
|
|
| | Type Systems (2004) [pdf] (lucacardelli.name) |
|
1 point by curling_grad on Dec 2, 2022 | past
|
|
| | Mobile Ambients [pdf] (lucacardelli.name) |
|
2 points by todsacerdoti on Jan 29, 2022 | past
|
|
| | Typeful Programming (1993) [pdf] (lucacardelli.name) |
|
38 points by signa11 on Sept 28, 2020 | past
|
|
| | Crabs: The bitmap terror (1985) [pdf] (lucacardelli.name) |
|
78 points by dsr_ on Feb 21, 2020 | past | 9 comments
|
|
| | Crabs: the bitmap terror (1984) [pdf] (lucacardelli.name) |
|
1 point by kick on Feb 8, 2020 | past
|
|
| | Mobile Ambients – process calculus for mobile computation (1998) [pdf] (lucacardelli.name) |
|
3 points by haadcode on Aug 2, 2019 | past | 3 comments
|
|
| | On Understanding Types, Data Abstraction, and Polymorphism (1985) [pdf] (lucacardelli.name) |
|
8 points by molteanu on March 4, 2019 | past
|
|
| | Typeful Programming (1993) [pdf] (lucacardelli.name) |
|
44 points by tpush on Jan 10, 2019 | past | 2 comments
|
|
| | The Quest Language and System (1994) [pdf] (lucacardelli.name) |
|
1 point by tosh on Dec 9, 2018 | past
|
|
| | Crabs: the bitmap terror (1985) [pdf] (lucacardelli.name) |
|
39 points by dsr_ on May 1, 2018 | past | 5 comments
|
|
| | The ClearDesk Project(or) (lucacardelli.name) |
|
1 point by dsr_ on April 30, 2018 | past
|
|
| | Type Systems (2004) [pdf] (lucacardelli.name) |
|
96 points by tosh on Aug 31, 2017 | past | 56 comments
|
|
| | Typeful Programming (1993) [pdf] (lucacardelli.name) |
|
1 point by tjalfi on Aug 27, 2017 | past
|
|
| | Luca Cardelli (lucacardelli.name) |
|
1 point by tosh on Aug 19, 2017 | past
|
|
| | A semantics of multiple inheritance (1984) [pdf] (lucacardelli.name) |
|
3 points by networked on June 14, 2015 | past
|
|
| | Molecular Programming – The systematic manipulation of matter (2014) [pdf] (lucacardelli.name) |
|
24 points by mafribe on April 21, 2015 | past | 5 comments
|
|
| | Bad engineering properties of oo languages (lucacardelli.name) |
|
1 point by chemcoder on Oct 6, 2012 | past | 1 comment
|
|
| | [pdf] Abstract Machines of Systems Biology (lucacardelli.name) |
|
1 point by lgv on Sept 29, 2010 | past
|
|
