Folgen
Luca Cardelli
Titel
Zitiert von
Zitiert von
Jahr
On understanding types, data abstraction, and polymorphism
L Cardelli, P Wegner
ACM Computing Surveys (CSUR) 17 (4), 471-523, 1985
31071985
Mobile ambients
L Cardelli, A Gordon
Theoretical computer science 240 (1), 177-213, 2000
26432000
A theory of objects
M Abadi, L Cardelli
Springer Science & Business Media, 2012
20482012
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
12181989
A language with distributed scope
L Cardelli
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
7421995
Subtyping recursive types
RM Amadio, L Cardelli
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 575-631, 1993
6971993
Type systems
L Cardelli
ACM Computing Surveys (CSUR) 28 (1), 263-264, 1996
6961996
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
5621991
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
5532013
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
4481989
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20