Luca Cardelli
TitleCited byYear
On understanding types, data abstraction, and polymorphism
L Cardelli, P Wegner
ACM Computing Surveys (CSUR) 17 (4), 471-523, 1985
26741985
Mobile ambients
L Cardelli, AD Gordon
Theoretical computer science 240 (1), 177-213, 2000
23732000
A theory of objects
M Abadi, L Cardelli
Springer Science & Business Media, 2012
18392012
A theory of objects
M Abadi, L Cardelli
Springer Science & Business Media, 2012
18392012
A theory of objects
M Abadi, L Cardelli
Springer Science & Business Media, 2012
18392012
Mobile ambients
L Cardelli, AD Gordon
International Conference on Foundations of Software Science and Computation…, 1998
15201998
A semantics of multiple inheritance
L Cardelli
Inf. Comput. 76 (2/3), 138-164, 1988
1415*1988
Explicit substitutions
M Abadi, L Cardelli, PL Curien, JJ Lvy
Journal of functional programming 1 (4), 375-416, 1991
10671991
A language with distributed scope
L Cardelli
POPL 95, 286-297, 1995
8201995
A language with distributed scope
L Cardelli
POPL 95, 286-297, 1995
8201995
A language with distributed scope
L Cardelli
POPL 95, 286-297, 1995
8201995
A language with distributed scope
L Cardelli
POPL 95, 286-297, 1995
8201995
Subtyping recursive types
RM Amadio, L Cardelli
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 575-631, 1993
6321993
Type systems
L Cardelli
ACM Computing Surveys 28 (1), 263-264, 1996
5821996
BioAmbients: an abstraction for biological compartments
A Regev, EM Panina, W Silverman, L Cardelli, E Shapiro
Theoretical Computer Science 325 (1), 141-167, 2004
5792004
Galileo: A strongly-typed, interactive conceptual language
A Albano, L Cardelli, R Orsini
ACM Transactions on Database Systems (TODS) 10 (2), 230-260, 1985
5581985
Brane calculi
L Cardelli
International Conference on Computational Methods in Systems Biology, 257-278, 2004
5252004
Anytime, anywhere: Modal logics for mobile ambients
L Cardelli, AD Gordon
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of…, 2000
4942000
Dynamic typing in a statically typed language
M Abadi, L Cardelli, B Pierce, G Plotkin
ACM transactions on programming languages and systems (TOPLAS) 13 (2), 237-268, 1991
4891991
Typeful programming.
L Cardelli
Formal description of programming concepts, 431-, 1989
4061989
The system can't perform the operation now. Try again later.
Articles 1–20