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
31371985
Mobile ambients
L Cardelli, A Gordon
Theoretical computer science 240 (1), 177-213, 2000
26492000
A theory of objects
M Abadi, L Cardelli
Springer Science & Business Media, 2012
20682012
A semantics of multiple inheritance
L Cardelli
Inf. Comput. 76 (2/3), 138-164, 1988
1539*1988
Explicit substitutions
M Abadi, L Cardelli, PL Curien, JJ Lévy
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
12291989
A language with distributed scope
L Cardelli
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
7441995
Type systems
L Cardelli
ACM Computing Surveys (CSUR) 28 (1), 263-264, 1996
7041996
Subtyping recursive types
RM Amadio, L Cardelli
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 575-631, 1993
6991993
BioAmbients: an abstraction for biological compartments
A Regev, EM Panina, W Silverman, L Cardelli, E Shapiro
Theoretical Computer Science 325 (1), 141-167, 2004
6352004
Galileo: A strongly-typed, interactive conceptual language
A Albano, L Cardelli, R Orsini
ACM Transactions on Database Systems (TODS) 10 (2), 230-260, 1985
5891985
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
5661991
Brane calculi: Interactions of biological membranes
L Cardelli
International Conference on Computational Methods in Systems Biology, 257-278, 2004
5652004
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
5612013
Anytime, anywhere: Modal logics for mobile ambients
L Cardelli, AD Gordon
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
5422000
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
3491995
Comparing object encodings
KB Bruce, L Cardelli, BC Pierce
Theoretical Aspects of Computer Software: Third International Symposium …, 1997
3451997
Abstractions for mobile computation
L Cardelli
Secure Internet programming: security issues for mobile and distributed …, 1999
3311999
Basic polymorphic typechecking
L Cardelli
Sci. Comput. Program. 8 (2), 147-172, 1987
3131987
Migratory applications
KA Bharat, L Cardelli
Proceedings of the 8th annual ACM symposium on User interface and software …, 1995
3101995
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20