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
31201985
Mobile ambients
L Cardelli, A Gordon
Theoretical computer science 240 (1), 177-213, 2000
26462000
A theory of objects
M Abadi, L Cardelli
Springer Science & Business Media, 2012
20572012
A semantics of multiple inheritance
L Cardelli
Inf. Comput. 76 (2/3), 138-164, 1988
1537*1988
Explicit substitutions
M Abadi, L Cardelli, PL Curien, JJ Lévy
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
12231989
A language with distributed scope
L Cardelli
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
7421995
Type systems
L Cardelli
ACM Computing Surveys (CSUR) 28 (1), 263-264, 1996
7021996
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
5881985
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
5651991
Brane calculi: Interactions of biological membranes
L Cardelli
International Conference on Computational Methods in Systems Biology, 257-278, 2004
5612004
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
5592013
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
4491989
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
3461995
Comparing object encodings
KB Bruce, L Cardelli, BC Pierce
Theoretical Aspects of Computer Software: Third International Symposium …, 1997
3441997
Abstractions for mobile computation
L Cardelli
Secure Internet programming: security issues for mobile and distributed …, 1999
3301999
Basic polymorphic typechecking
L Cardelli
Sci. Comput. Program. 8 (2), 147-172, 1987
3121987
Migratory applications
KA Bharat, L Cardelli
Proceedings of the 8th annual ACM symposium on User interface and software …, 1995
3091995
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20