Luca Cardelli - Selected Publications

1. Luís Caires and Luca Cardelli, A Spatial Logic for Concurrency (Part II).
   • To appear in CONCUR'02.v2
2. Luís Caires and Luca Cardelli, A Spatial Logic for Concurrency (Part I).
   • TACS'01 Invited Paper. Naoki Kobayashi and Benjamin C. Pierce (Eds.). Theoretical Aspects of Computer Software; 4th International Symposium, TACS 2001, Sendai, Japan, October 2001, Proceedings. Lecture Notes in Computer Science 2215. Springer, 2001. ISBN 3 540 42736 8. pp 1-37.
3. Luca Cardelli and Andrew D. Gordon, Anytime, Anywhere. Modal Logics for Mobile Ambients.
   • Proceedings of the 27th ACM Symposium on Principles of Programming Languages, 2000. pp 365-377.
4. Luca Cardelli, Wide Area Computation.
   • ICALP'99 Invited Paper. Jiri Wiedermann, Peter van Emde Boas, and Mogens Nielsen, Editors. Automata, Languagese and Programming, 26th International Colloquium, ICALP'99 Proceedings. Lecture Notes in Computer Science, Vol. 1644, Springer, 1999. ISBN 3-540-66224-3. pp. 10-24.
5. Luca Cardelli and Andrew D. Gordon, Mobile Ambients.
   • Theoretical Computer Science, Special Issue on Coordination, D. Le Métayer Editor.Vol 240/1, June 2000. pp 177-213.
   • Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, Vol. 1378, Springer, 1998. pp. 140-155.
6. Luca Cardelli, Giorgio Ghelli, A Query Language Based on the Ambient Logic.
   • ESOP'01 Invited Paper. David Sands, Editor: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001, Held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2028, Springer, 2001. ISBN 3-540-41862-8. pp. 1-22.
7. Martín Abadi and Luca Cardelli. A theory of objects. (Book.)
   • Springer, 1996.
8. Luca Cardelli, John C. Mitchell, Simone Martini, and Andre Scedrov. An extension of system F with subtyping.
   • Information and Computation, 109(1/2):4-56, February 1994.
9. Roberto M. Amadio and Luca Cardelli. Subtyping recursive types.
   • ACM Transactions on Programming Languages and Systems, 15(4):575-631, 1993.
10. Luca Cardelli and John C. Mitchell. Operations on records.
    • Reprint. In Theoretical Aspects of Object-Oriented Programming, MIT Press, 1994.
    • Mathematical Structures in Computer Science, 1(1):3-48, March 1991.
11. Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism.
    • Computing Surveys, 17(4):471-522, 1985.
12. Luca Cardelli. A semantics of multiple inheritance.
    • Reprint. Stanley B. Zdonik and David Maier, Readings in Object Oriented Database Systems, Morgan Kaufmann Publishers Inc. ISBN 1-55860-000-0. pp 59-83.
    • Information and Computation, 76(2/3): 138-164, February 1988.
    • Preliminary version. G. Kahn, D.B. MacQueen and G. Plotkin Eds. Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 1984, Proceedings. Lecture Notes in Computer Science, Vol. 173, Springer-Verlag, 1984, ISBN 3-540-13346-1. pp 51-67.
13. Luca Cardelli. Analog processes.
    • P. Dembinski (Ed.): Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Lecture Notes in Computer Science, Vol. 88, Springer 1980, ISBN 3-540-10027-X. pp 181-193.
14. Luca Cardelli. A language with distributed scope.
    • Computing Systems, 8(1):27-59, January 1995.
15. Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson. (Modula-3) Language definition.
    • Greg Nelson, Ed., System Programming with Modula-3. Prentice Hall, ISBN 0-13-590464-1.1991. Chapter 2, pp 11-66.
16. Luca Cardelli. Typeful programming.
    • E. J. Neuhold and M. Paul, Editors. Formal Description of Programming Concepts, IFIP State of the Art Reports Series. Springer-Verlag, February 1989.
17. Luca Cardelli. Amber.
    • In Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet, editors, Combinators and Functional Programming Languages, Lecture Notes in Computer Science, Vol. 242, pp 21-70. Springer-Verlag, 1986.
18. Luca Cardelli and Rob Pike. Squeak: a language for communicating with mice.
    • Proc. Twelfth ACM Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH), 1985.
19. Antonio Albano, Luca Cardelli, and Renzo Orsini. Galileo: a strongly typed, interactive, conceptual language.
    • ACM Transactions on Database Systems (TODS), 10(2):230-260, 1985.
20. Luca Cardelli. Compiling a functional language.
    • Proc. ACM Symposium on Lisp and Functional Programming, 1984.
21. Luca Cardelli. Building user interfaces by direct manipulation.
    • Proceedings of the ACM SIGGRAPH Symposium on User Interface Software, Banff, Alberta, Canada, October 17-19, 1988. ACM Press, ISBN 0-89791-283-7. pp 152-166.
    • SRC Research Report 22, Digital Equipment Corporation Systems Research Center, October 2, 1987.