On understanding types, data abstraction, and polymorphism L Cardelli, P Wegner ACM Computing Surveys (CSUR) 17 (4), 471-523, 1985 | 3109 | 1985 |
Mobile ambients L Cardelli, A Gordon Theoretical computer science 240 (1), 177-213, 2000 | 2641 | 2000 |
A theory of objects M Abadi, L Cardelli Springer Science & Business Media, 2012 | 2048 | 2012 |
A semantics of multiple inheritance L Cardelli Inf. Comput. 76 (2/3), 138-164, 1988 | 1534* | 1988 |
Explicit substitutions M Abadi, L Cardelli, PL Curien, JJ Lévy Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989 | 1216 | 1989 |
A language with distributed scope L Cardelli Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 742 | 1995 |
Subtyping recursive types RM Amadio, L Cardelli ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 575-631, 1993 | 697 | 1993 |
Type systems L Cardelli ACM Computing Surveys (CSUR) 28 (1), 263-264, 1996 | 695 | 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 | 631 | 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 | 588 | 1985 |
Brane calculi: Interactions of biological membranes L Cardelli International Conference on Computational Methods in Systems Biology, 257-278, 2004 | 561 | 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 | 561 | 1991 |
Programmable chemical controllers made from DNA YJ Chen, N Dalchau, N Srinivas, A Phillips, L Cardelli, D Soloveichik, ... Nature nanotechnology 8 (10), 755-762, 2013 | 553 | 2013 |
Anytime, anywhere: Modal logics for mobile ambients L Cardelli, AD Gordon Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000 | 542 | 2000 |
Typeful programming L Cardelli Digital Equipment Corporation Systems Research Center, 1989 | 448 | 1989 |
On binary methods K Bruce, L Cardelli, G Castagna, Hopkins Objects Group, GT Leavens, ... Theory and Practice of Object Systems 1 (3), 221-242, 1995 | 345 | 1995 |
Comparing object encodings KB Bruce, L Cardelli, BC Pierce Theoretical Aspects of Computer Software: Third International Symposium …, 1997 | 340 | 1997 |
Abstractions for mobile computation L Cardelli Secure Internet programming: security issues for mobile and distributed …, 1999 | 330 | 1999 |
Basic polymorphic typechecking L Cardelli Sci. Comput. Program. 8 (2), 147-172, 1987 | 310 | 1987 |
Migratory applications KA Bharat, L Cardelli Proceedings of the 8th annual ACM symposium on User interface and software …, 1995 | 309 | 1995 |