Seuraa
Luca Cardelli
Luca Cardelli
University of Oxford
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.ox.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
On understanding types, data abstraction, and polymorphism
L Cardelli, P Wegner
ACM Computing Surveys (CSUR) 17 (4), 471-523, 1985
31171985
Mobile ambients
L Cardelli, A Gordon
Theoretical computer science 240 (1), 177-213, 2000
26452000
A theory of objects
M Abadi, L Cardelli
Springer Science & Business Media, 2012
20512012
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
12211989
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
7011996
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
5641991
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
5582013
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
3451995
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
3101987
Migratory applications
KA Bharat, L Cardelli
Proceedings of the 8th annual ACM symposium on User interface and software …, 1995
3091995
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20