| On understanding types, data abstraction, and polymorphism L Cardelli, P Wegner ACM Computing Surveys (CSUR) 17 (4), 471-523, 1985 | 2787 | 1985 |
| Mobile ambients L Cardelli, AD Gordon Theoretical computer science 240 (1), 177-213, 2000 | 2458 | 2000 |
| A theory of objects M Abadi, L Cardelli Springer Science & Business Media, 2012 | 1873 | 2012 |
| A theory of objects M Abadi, L Cardelli Springer Science & Business Media, 2012 | 1873 | 2012 |
| A theory of objects M Abadi, L Cardelli Springer Science & Business Media, 2012 | 1873 | 2012 |
| A theory of objects M Abadi, L Cardelli Springer Science & Business Media, 2012 | 1873 | 2012 |
| Mobile ambients L Cardelli, AD Gordon International Conference on Foundations of Software Science and Computation …, 1998 | 1556 | 1998 |
| A semantics of multiple inheritance L Cardelli Inf. Comput. 76 (2/3), 138-164, 1988 | 1459* | 1988 |
| Explicit substitutions M Abadi, L Cardelli, PL Curien, JJ Lévy Journal of functional programming 1 (4), 375-416, 1991 | 1099 | 1991 |
| A language with distributed scope L Cardelli Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 715 | 1995 |
| A language with distributed scope L Cardelli Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 715 | 1995 |
| A language with distributed scope L Cardelli Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 715 | 1995 |
| A language with distributed scope L Cardelli Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 715 | 1995 |
| Subtyping recursive types RM Amadio, L Cardelli ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 575-631, 1993 | 644 | 1993 |
| Type systems L Cardelli ACM Computing Surveys (CSUR) 28 (1), 263-264, 1996 | 623 | 1996 |
| BioAmbients: an abstraction for biological compartments A Regev, EM Panina, W Silverman, L Cardelli, E Shapiro Theoretical Computer Science 325 (1), 141-167, 2004 | 599 | 2004 |
| Galileo: A strongly-typed, interactive conceptual language A Albano, L Cardelli, R Orsini ACM Transactions on Database Systems (TODS) 10 (2), 230-260, 1985 | 559 | 1985 |
| Brane calculi L Cardelli International Conference on Computational Methods in Systems Biology, 257-278, 2004 | 539 | 2004 |
| 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 | 503 | 1991 |
| Anytime, anywhere: Modal logics for mobile ambients L Cardelli, AD Gordon Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000 | 501 | 2000 |
