Seguir
Luca Cardelli
Título
Citado por
Citado por
Año
On understanding types, data abstraction, and polymorphism
L Cardelli, P Wegner
ACM Computing Surveys (CSUR) 17 (4), 471-523, 1985
31081985
Mobile ambients
L Cardelli, A Gordon
Theoretical computer science 240 (1), 177-213, 2000
26352000
A theory of objects
M Abadi, L Cardelli
Springer Science & Business Media, 2012
20302012
A semantics of multiple inheritance
L Cardelli
Inf. Comput. 76 (2/3), 138-164, 1988
1535*1988
Explicit substitutions
M Abadi, L Cardelli, PL Curien, JJ Lévy
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
12121989
A language with distributed scope
L Cardelli
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
7471995
Type systems
L Cardelli
ACM Computing Surveys (CSUR) 28 (1), 263-264, 1996
6991996
Subtyping recursive types
RM Amadio, L Cardelli
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 575-631, 1993
6981993
BioAmbients: an abstraction for biological compartments
A Regev, EM Panina, W Silverman, L Cardelli, E Shapiro
Theoretical Computer Science 325 (1), 141-167, 2004
6312004
Galileo: A strongly-typed, interactive conceptual language
A Albano, L Cardelli, R Orsini
ACM Transactions on Database Systems (TODS) 10 (2), 230-260, 1985
5871985
Brane calculi: Interactions of biological membranes
L Cardelli
International Conference on Computational Methods in Systems Biology, 257-278, 2004
5632004
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
5581991
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
5542013
Anytime, anywhere: Modal logics for mobile ambients
L Cardelli, AD Gordon
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
5402000
Typeful programming
L Cardelli
Digital Equipment Corporation Systems Research Center, 1989
4531989
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
3451995
Comparing object encodings
KB Bruce, L Cardelli, BC Pierce
Theoretical Aspects of Computer Software: Third International Symposium …, 1997
3411997
Abstractions for mobile computation
L Cardelli
Secure Internet programming: security issues for mobile and distributed …, 1999
3281999
Basic polymorphic typechecking
L Cardelli
Sci. Comput. Program. 8 (2), 147-172, 1987
3171987
Migratory applications
KA Bharat, L Cardelli
Proceedings of the 8th annual ACM symposium on User interface and software …, 1995
3141995
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20