Luca Cardelli - Bibliography

• Problems with downloading. The files available here are not available via FTP. Send me email () if you really need an email or hardcopy version. If the postscript files are too big for you, download the compressed or pdf versions, which are both much smaller. Get the free Acrobat reader for pdf files here.
• Problems with Postscript. HP printer drivers (which I use to generate postscript files) insert a few lines of illegal rubbish before the "%!PS" header. This does not affect viewing and printing under Windows, but it may cause non-HP printers, or even HP printers used through Unix or Linux, to print the files as ASCII. It may also cause postscript viewers under Unix or Linux to fail. In that case, delete the rubbish lines with an editor, since I usually forget to do it for you.
• Problems with viewing. Ghostscript 5.10 or later, Ghostview 2.5 or later may be required, especially for recent papers. Get the free ghostscript software here. If you don't have it, just print the files.
• Problems with printing. Try viewing the ps files with ghostscript; if that works, the files are fine. Read the note about postscript above. Use recent Apple or HP printers; postscript Level2 printers may be required. Cheap printers may not have sufficient memory. Printers processing A4-formatted postscript may stall waiting for the insertion of an A4 paper tray if a USLetter paper tray is present (and vice versa). You can print to non-postscript printers (e.g. HP DeskJet) by opening the postscript file in ghostview and choosing the appropriate output device (not postscript).
• Problems with pdf. If you notice font or formatting problems with pdf files, try the corresponding postscript files instead. All the pdf's are obtained from the ps's via Adobe Distiller; this process is in fact very unreliable for technical papers.
• Problems with fonts. If, for some reason, some special fonts are missing, you may find them here.
• Other bibliographies for my papers: see the DBPL bibliography server, and The Collection of Computer Science Bibliographies where you can find bibtex entries.
• Legend. ".US" = file for USLetter paper; ".A4" = file for A4 paper; ".ps" = postscript file; ".pdf" = Adobe Acrobat file; ".Z", ".gz", ".zip" = compressed; "@..." official version at publisher's site.

• Copyright. The "works" contained here may consist of multiple files/pages; I declare that the "first page" of a work consists of the associated copyright notice that can be viewed by following the "©..." links that directly precede the other file/page links for the work. These notices are integral parts of the works: you are not allowed to copy, reproduce, or print parts of the works; in particular, you are not allowed to copy, reproduce, or print individual files/pages without the attached copyright notices.
  The works found here do not necessarily correspond exactly to published versions, but are still covered by the attached copyright notices.

Ambients

• Luca Cardelli and Andrew D. Gordon, Logical Properties of Name Restriction. [Abstract]
  • Extended Abstract. ©2000 Microsoft [A4.ps] [A4.ps.zip]
  • Full Draft. ©2000 Microsoft [A4.ps] [A4.ps.zip] [US.ps] [US.ps.zip]
• Luca Cardelli, Mobility and Security. [Abstract]
  • Lecture notes for Marktoberdorf Summer School 1999. (A summary of several Ambient Calculus papers.) Foundations of Secure Computation, Friedrich L. Bauer and Ralf Steinbrüggen (Eds.), NATO Science Series, Proceedings of the NATO Advanced Study Institute on Foundations of Secure Computation, Marktoberdorf, Germany, 27 July - 8 August 1999. IOS Press, 2000. ISBN 1 58603 015 9. pp. 3-37. ©2000 IOS Press [US.ps] [US.pdf] [A4.ps] [A4.pdf]
• Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon, Ambient Groups and Mobility Types. [Abstract]
  • Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (Eds.). Theoretical Computer Science; Exploring New Frontiers in Theoretical Informatics. International Conference IFIP TCS 2000, Sendai, Japan, August 2000, Proceedings. Lecture Notes in Computer Science, Vol. 1872, Springer, 2000. ISBN 3-540-67823-9. pp. 333-347. ©2000 Springer [A4.ps] [A4.pdf]
• Luca Cardelli and Andrew D. Gordon, Anytime, Anywhere. Modal Logics for Mobile Ambients. [Abstract]
  • Proceedings of the 27th ACM Symposium on Principles of Programming Languages, 2000. pp 365-377. ©2000 ACM [A4.ps] [A4.pdf] [US.ps] [US.pdf]
• Luca Cardelli, Wide Area Computation. [Abstract]
  • ICALP'99 Invited Paper. (Short Version of Abstractions for Mobile Computation.) 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. ©1999 Springer [@Springer] [A4.ps] [A4.ps.zip] [US.ps] [US.ps.zip]
• Luca Cardelli, Foundations for Wide-Area Systems. [Abstract]
  • FMOODS'99 Tutorial Abstract. Paolo Ciancarini, Alessandro Fantechi and Roberto Gorrieri, Editors. Formal Methods for Open Object-Based Distributed Systems, IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. Kluwer Academic Publishers, 1999. ISBN 0-7923-8429-6. pp 349-349. ©1999 IFIP-Kluwer [html]
• Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon, Mobility Types for Mobile Ambients. [Abstract]
  • Extended version. Microsoft Research Technical Report MSR-TR-99-32. 1999. ©1999 Microsoft [A4.ps] [@Microsoft]
  • 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. 230-239. ©1999 Springer [@Springer] [A4.ps]
• Andrew D. Gordon and Luca Cardelli, Equational Properties of Mobile Ambients. [Abstract]
  • To appear. Mathematical Structures in Computer Science.
  • Extended version. Microsoft Research Technical Report MSR-TR-99-11. 1999. ©1999 Microsoft [A4.ps] [@Microsoft]
  • Wolfgang Thomas, Editor. Foundations of Software Science and Computational Structures, Second International Conference, FOSSACS'99. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 1999. Proceedings. Lecture Notes in Computer Science, Vol. 1578. Springer, 1999. ISBN 3-540-65719-3. pp 212-226. ©1999 Springer [A4.ps]
• Luca Cardelli and Andrew D. Gordon, Types for Mobile Ambients. [Abstract]
  • Proceedings of the 26th ACM Symposium on Principles of Programming Languages, 1999. pp 79-92. ©1999 ACM [US.ps] [US.ps.zip] [A4.ps] [A4.ps.zip]
• Luca Cardelli, Abstractions for Mobile Computation. [Abstract]
  • Jan Vitek and Christian Jensen, Editors. Secure Internet Programming: Security Issues for Mobile and Distributed Objects. Lecture Notes in Computer Science, Vol. 1603, Springer, 1999. ISBN 3-540-66130-1. pp. 51-94. ©1999 Springer [@Springer] [US.ps] [US.ps.zip] [US.pdf] [A4.ps] [A4.ps.zip] [A4.pdf]
  • Microsoft Research Technical Report MSR-TR-98-34. 1998. [@Microsoft]
• Luca Cardelli and Andrew D. Gordon, Mobile Ambients. [Abstract]
  • To appear. TCS special issue on Coordination, D. Le Métayer Editor.Tentative Schedule: TCSB Vol 240/1, July 2000. ©2000 Elsevier [US.ps] [US.ps.zip] [A4.ps] [A4.ps.zip]
  • Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, Vol. 1378, Springer, 1998. pp. 140-155. ©1998 Springer [@Springer] [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Short summary (HOOTS'97) [A4.ps] [A4.pdf]
  • Annex ©1998 Microsoft [A4.ps] [A4.pdf]
• Luca Cardelli, Mobile Ambient Synchronization.
  • SRC Technical Note 1997-013, Digital Equipment Corporation Systems Research Center. July 1997. ©1997 Digital Equipment Corporation [US.ps] [US.pdf] [A4.ps] [A4.pdf] [@SRC]

Wide Area Computing

• Luca Cardelli, Giorgio Ghelli, A Query Language for Semistructured Data Based on the Ambient Logic. [Abstract]
  • Extended Abstract. [A4.ps] [A4.pdf]
  • Full Draft. [A4.ps] [A4.pdf]
• Luca Cardelli, Semistructured Computation. [Abstract]
  • To Appear. DBPL'99 Proceedings. [A4.ps] [A4.pdf]
• Henri E. Bal, Boumediene Belkhouche, and Luca Cardelli, Editors. Internet Programming Languages.
  • Preface and Table of Contents ©1999 Springer [A4.ps]
  • Lecture Notes in Computer Science, Vol. 1686, Springer, 1999. ISBN 3-540-66673-7 [@Springer]
• Luca Cardelli and Rowan Davies. Service Combinators for Web Computing. [Abstract]
  • IEEE Transactions on Software Engineering, Vol 25, No 3, May-June 1999. pp 309-316. ©1999 IEEE [US.ps]
  • Preliminary version. Proc. of the First Usenix Conference on Domain Specific Languages, Santa Barbara, California, October 15-17, 1997.
  • SRC Research Report 148, Digital Equipment Corporation Systems Research Center. June 1, 1997. [@SRC]
• Luca Cardelli. Global computation. (Position paper.) [Abstract]
  • Reprint. ACM Sigplan Notices, 32(1):66-68, 1997.
  • ACM Computing Surveys, 28(4es), Article 163. 1996. ©1996 ACM [html] [US.ps] [US.pdf] [A4.ps] [A4.pdf] [@ACM]
• Luca Cardelli. Mobile Computation. [Abstract]
  • J. Vitek and C. Tschudin Editors. Mobile Object Systems - Towards the Programmable Internet. Lecture Notes in Computer Science, Vol. 1222, Springer, 1997. pp 3-6. ©1997 Springer [@Springer] [html] [US.ps] [US.pdf] [A4.ps] [A4.pdf]
• Krishna Bharat and Luca Cardelli. Migratory Applications. [Abstract]
  • J. Vitek and C. Tschudin Editors. Mobile Object Systems - Towards the Programmable Internet. Lecture Notes in Computer Science, Vol. 1222, Springer, 1997. pp 131-148. ©1997 Springer [@Springer] [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • SRC Research Report 138, Digital Equipment Corporation Systems Research Center. February 15, 1996. [@SRC]
  • Preliminary version. ACM Symposium on User Interface Software and Technology '95, Pittsburgh, PA, November 1995. pp 133-142.
• Krishna Bharat and Luca Cardelli. Distributed applications in a multimedia setting. [Abstract]
  • Proceedings of the First International Workshop on Hypermedia Design (IWHD'95), Montpellier, France, 1-2 June 1995. pp 185-192. ©1995 Digital Equipment Corporation [US.ps] [US.pdf] [A4.ps] [A4.pdf]

Objects

• Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce, Comparing Object Encodings. [Abstract]
  • Information and Computation.Vol. 155, No. 1/2, Dec 1999, pp. 108-133. ©1999 AcademicPress [US.ps] [US.pdf]
  • Preliminary version. Martín Abadi, Takayasu Ito (Eds.): Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings. Lecture Notes in Computer Science, Vol. 1281, Springer, 1997, ISBN 3-540-63388-X. pp 415-438. [@Springer]
• Luca Cardelli. Bad engineering properties of object-oriented languages. (Position paper.) [Abstract]
  • ACM Computing Surveys, 28(4es), Article 150. 1996. ©1996 ACM [html] [US.ps] [US.pdf] [A4.ps] [A4.pdf] [@ACM]
• Martín Abadi and Luca Cardelli. A theory of objects. (Book.) [Cover Art]
  • Springer, 1996.
• Martín Abadi, Luca Cardelli, Ramesh Viswanathan. An interpretation of objects and object types. [Abstract]
  • Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, 21-24 January 1996. ACM Press, New York, 1996, ISBN 0-89791-769-3. pp 396-409. ©1996 ACM [US.ps] [US.pdf]
• Martín Abadi and Luca Cardelli. On subtyping and matching. [Abstract]
  • ACM Transactions on Programming Languages and Systems, 18(4):401-423, 1996. ©1996 ACM [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Preliminary version. Walter G. Olthoff (Ed.): ECOOP'95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, Proceedings. Lecture Notes in Computer Science, Vol. 952, Springer, 1995, ISBN 3-540-60160-0. pp 145-167. [@Springer]
• Kim Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, Benjamin Pierce, On binary methods. [Abstract]
  • Theory and Practice of Object Systems, 1(3):221-242, 1995. ©1995 Wiley [US.ps] [US.pdf] [A4.ps] [A4.pdf]
• Martín Abadi and Luca Cardelli. An imperative object calculus. [Abstract]
  • Theory and Practice of Object Systems, 1(3):151-166, 1995. ©1995 Wiley [US.ps] [US.pdf]
  • Preliminary version. Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995. Lecture Notes in Computer Science, Vol. 915, Springer, 1995, ISBN 3-540-59293-8. pp 471-485. [@Springer]
• Martín Abadi and Luca Cardelli. An imperative object calculus: Basic typing and soundness. [Abstract]
  • SIPL '95 - Proceedings of the Second ACM SIGPLAN Workshop on State in Programming Languages. Technical Report UIUCDCS-R-95-1900, Department of Computer Science, University of Illinois at Urbana-Champaign, 1995. ©1995 ACM [US.ps] [US.pdf] [A4.ps] [A4.pdf]
• Martín Abadi and Luca Cardelli. A theory of primitive objects: Second-order systems. [Abstract]
  • Science of Computer Programming, 25(2-3):81-116. December 1995. ©1995 Elsevier [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Preliminary version. Donald Sannella (Ed.): Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings. Lecture Notes in Computer Science, Vol. 788, Springer 1994, ISBN 3-540-57880-3. pp 1-25. [@Springer]
• Martín Abadi and Luca Cardelli. A theory of primitive objects: Untyped and first-order systems. [Abstract]
  • Information and Computation, 125(2):78-102, March 1996. ©1996 AcademicPress [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Preliminary version. Masami Hagiya, John C. Mitchell (Eds.): Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings. Lecture Notes in Computer Science, Vol. 789, Springer, 1994, ISBN 3-540-57887-0. pp 296-320. [@Springer]
• Martín Abadi and Luca Cardelli. A semantics of object types. [Abstract]
  • Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, Paris, France, July 1994. IEEE Computer Society Press, ISBN 0-8186-6310-3. pp 332-341. ©1994 IEEE [US.ps] [US.pdf] [A4.ps] [A4.pdf]

Types and Semantics

• Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon. Secrecy and Group Creation. [Abstract]
  • Catuscia Palamidessi (Ed.). CONCUR 2000 - Concurrency Theory. 11th International Conference, University Park, PA, USA, August 2000, Proceedings. Lecture Notes in Computer Science, Vol. 1877, Springer, 2000. ISBN 3-540-67897-2. pp. 365-379. ©2000 Springer [A4.ps] [A4.pdf]
• The ML2000 Working Group. Principles and a Preliminary Design for ML2000. [Abstract]
  • Draft. ©1999 [US.ps]
• Luca Cardelli. Program fragments, linking, and modularization. [Abstract]
  • Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997. ACM Press, New York, 1997, ISBN 0-89791-853-3. pp 266-277. ©1997 ACM [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • SRC Research Report 144, Digital Equipment Corporation Systems Research Center. February 15, 1997. [@SRC]
• Luca Cardelli. Type systems. [Abstract]
  • Allen B. Tucker (Ed.): The Computer Science and Engineering Handbook. CRC Press, 1997, ISBN: 0-8493-2909-4. Chapter 103, pp 2208-2236. ©1997 CRC Press [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Summary [Abstract]. ACM Computing Surveys, 28(1):263-264, 1996. ©1996 ACM [html] [US.ps] [US.pdf] [US.pdf] [A4.ps] [A4.pdf] [@ACM]
• Martín Abadi, Luca Cardelli, Benjamin C. Pierce, and Didier Rémy. Dynamic typing in polymorphic languages. [Abstract] [Cartoon]
  • Journal of Functional Programming, 5(1):111-130, January 1995. ©1995 Cambridge University Press [US.ps] [US.pdf]
  • Preliminary version. Proceedings of the ACM SigPlan Workshop on ML and its Applications, June 1992.
  • SRC Research Report 120, Digital Equipment Corporation Systems Research Center. January 26, 1994. [@SRC]
• Gordon D. Plotkin, Martín Abadi, and Luca Cardelli. Subtyping and parametricity. [Abstract]
  • Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, Paris, France, July 1994. IEEE Computer Society Press, ISBN 0-8186-6310-3. pp 310-319. ©1994 IEEE [US.ps] [US.pdf] [A4.ps] [A4.pdf]
• Martín Abadi, Luca Cardelli, and Pierre-Louis Curien. Formal parametric polymorphism. [Abstract]
  • Theoretical Computer Science, 121(1-2):9-58: A Collection of Contributions in Honour of Corrado Boehm on the Occasion of his 70th Birthday, December 1993. ©1993 Elsevier [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Preliminary version. Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, January 1993. pp 157-170.
  • SRC Research Report 109, Digital Equipment Corporation Systems Research Center. July 15, 1993. [@SRC]
• Luca Cardelli. An implementation of F<:. [Abstract]
  • SRC Research Report 97, Digital Equipment Corporation Systems Research Center, February 23, 1993. ©1993 Digital Equipment Corporation [US.ps] [US.pdf] [A4.ps] [A4.pdf] [@SRC]
• Luca Cardelli. Extensible records in a pure calculus of subtyping. [Abstract]
  • C.A. Gunter and J.C. Mitchell, Editors. Theoretical Aspects of Object-Oriented Programming. MIT Press, 1994. pp 373-425. ©1994 MIT Press [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • SRC Research Report 81, Digital Equipment Corporation Systems Research Center, January 3, 1992. [@SRC]
• Luca Cardelli, John C. Mitchell, Simone Martini, and Andre Scedrov. An extension of system F with subtyping. [Abstract] [Cartoon]
  • Information and Computation, 109(1/2):4-56, February 1994. ©1994 AcademicPress [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Preliminary version. Takayasu Ito, Albert R. Meyer (Eds.): Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings. Lecture Notes in Computer Science, Vol. 526, Springer, 1991, ISBN 3-540-54415-1. pp 750-770. [@Springer]
  • SRC Research Report 80, Digital Equipment Corporation Systems Research Center. December 30, 1991. [@SRC]
• Luca Cardelli. A pure calculus of subtyping, and applications (outline). [Abstract]
  • Paris C. Kanellakis, Joachim W. Schmidt (Eds.): Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings. Morgan Kaufmann, San Mateo, CA, ISBN 1-55860-242-9. pp 185-187.©1991 Morgan Kaufmann [A4.ps] [A4.pdf]
• Roberto M. Amadio and Luca Cardelli. Subtyping recursive types. [Abstract] [Cartoon]
  • ACM Transactions on Programming Languages and Systems, 15(4):575-631, 1993. ©1993 ACM [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Preliminary version. Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, January 1991. pp 104-118.
  • SRC Research Report 62, Digital Equipment Corporation Systems Research Center. August 14, 1990. [@SRC]
• Luca Cardelli and Xavier Leroy. Abstract types and the dot notation.[Abstract] [Cartoon]
  • Programming Concepts and Methods, IFIP State of the Art Reports. North Holland, March 1990. pp 479-504.
  • SRC Research Report 56, Digital Equipment Corporation Systems Research Center. March 10, 1990. [@SRC]
• Luca Cardelli and Giuseppe Longo. A semantic basis for Quest. [Abstract] [Cartoon]
  • Journal of Functional Programming, 1(4):417-458, October 1991. ©1991 Cambridge University Press [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Preliminary version. Proceedings of ACM Conference on LISP and Functional Programming (1990).
  • SRC Research Report 55, Digital Equipment Corporation Systems Research Center. February 14, 1990. [@SRC]
• Martín Abadi, Luca Cardelli, Pierre-Louis Curien, and Jean-Jacques Lévy. Explicit substitutions. [Abstract] [Cartoon]
  • Journal of Functional Programming, 1(4):375-416, October 1991. ©1991 Cambridge University Press [US.ps] [US.pdf]
  • SRC Research Report 54, Digital Equipment Corporation Systems Research Center. February 6, 1990. [@SRC]
  • Preliminary version. Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, January 1990. pp 31-46.
• Martín Abadi, Luca Cardelli, Benjamin C. Pierce, and Gordon D. Plotkin. Dynamic typing in a statically-typed language. [Abstract] [Cartoon]
  • ACM Transactions on Programming Languages and Systems, 13(2):237-268, April 1991. ©1991 ACM [US.ps] [US.pdf]
  • Preliminary version. Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989. pp 213-227.
  • SRC Research Report 47, Digital Equipment Corporation Systems Research Center. June 10, 1989. [@SRC]
• Luca Cardelli and John C. Mitchell. Operations on records. [Abstract] [Cartoon]
  • Reprint. In Theoretical Aspects of Object-Oriented Programming, MIT Press, 1994. ©1994 MIT Press [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Mathematical Structures in Computer Science, 1(1):3-48, March 1991.
  • SRC Research Report 48, Digital Equipment Corporation Systems Research Center. August 25, 1989. [@SRC]
• Luca Cardelli. Types for data-oriented languages. [Abstract]
  • Joachim W. Schmidt, Stefano Ceri, Michele Missikoff (Eds.): Advances in Database Technology - EDBT'88. Proceedings of the International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988. Lecture Notes in Computer Science, Vol. 303, Springer, 1988, ISBN 3-540-19074-0 and 0-387-19074-0. pp 1-15. ©1988 Springer [@Springer] [US.ps] [US.pdf] [A4.ps] [A4.pdf]
• Luca Cardelli. Structural subtyping and the notion of power type. [Abstract]
  • Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, January 1988. pp 70-79. ©1988 ACM [US.ps] [US.pdf] [A4.ps] [A4.pdf]
• Luca Cardelli. Phase Distinctions in Type Theory. [Abstract]
  • Unpublished. Jan 4, 1988. ©1988 Digital Equipment Corporation [US.ps] [US.pdf] [A4.ps] [A4.pdf]
• Luca Cardelli. Typechecking dependent types and subtypes. [Abstract]
  • In Proceedings of the Workshop on Foundations of Logic and Functional Programming, Lecture Notes in Computer Science, Vol. 306, pp 45-57. Springer-Verlag, December 1986. ©1986 Springer [@Springer] [A4.ps]
• Luca Cardelli. A polymorphic lambda-calculus with Type:Type. [Abstract]
  • SRC Research Report 10, Digital Equipment Corporation Systems Research Center, May 1, 1986. ©1986 Digital Equipment Corporation [US.ps] [US.pdf] [A4.ps] [A4.pdf] [@SRC]
• Luca Cardelli, David B. MacQueen. Persistence and Type Abstraction.
  • Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985. Springer 1988, Topics in Information Systems, ISBN 3-540-18785-5. pp 31-41.
• Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. [Abstract]
  • Computing Surveys, 17(4):471-522, 1985. ©1985 ACM [US.ps] [US.pdf] [A4.ps] [A4.pdf]
• Luca Cardelli. Basic polymorphic typechecking. [Abstract]
  • Science of Computer Programming, 8(2): 147-172, 1987. ©1987 Elsevier [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Reprint. Polymorphism, The ML/LCF/Hope Newsletter, Vol II, Number 1, January 1985.
  • Technical Report TR-112, AT&T Bell Laboratories, September 1984.
  • Technical Memorandum TM 11271-840705-07, AT&T Bell Laboratories, July 1984.
• Luca Cardelli. A semantics of multiple inheritance. [Abstract]
  • 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. ©1988 AcademicPress [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • 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. [@Springer]
• Luca Cardelli. Real time agents.
  • Mogens Nielsen, Erik Meineche Schmidt (Eds.): Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Lecture Notes in Computer Science, Vol. 140, Springer, 1982, ISBN 3-540-11576-5. pp 94-106. ©1982 Springer [@Springer] [PageScans.html]
• 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. ©1980 Springer [@Springer] [PageScans.html]

Language Design and Implementation

• Luca Cardelli. A language with distributed scope. [Abstract]
  • Computing Systems, 8(1):27-59, January 1995. ©1995 USENIX [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Preliminary version. Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, January 23-25, 1995. ACM Press, New York, 1995, ISBN 0-89791-692-1. pp 286-297.
• Luca Cardelli. Obliq: A language with distributed scope. [Abstract] [Cartoon]
  • SRC Research Report 122, Digital Equipment Corporation Systems Research Center, June 3, 1994. ©1994 Digital Equipment Corporation [US.ps] [US.pdf] [A4.ps] [A4.pdf] [@SRC]
• Luca Cardelli, Florian Matthes, and Martín Abadi. Extensible syntax with lexical scoping. [Abstract]
  • SRC Research Report 121, Digital Equipment Corporation Systems Research Center, February 21, 1994. ©1994 Digital Equipment Corporation [US.ps] [US.pdf] [@SRC]
• Luca Cardelli, Florian Matthes, and Martín Abadi. Extensible grammars for language specialization.
  • Catriel Beeri, Atsushi Ohori, Dennis Shasha(Eds.): Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19853-9. pp 11-31.
• 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.
• Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson. Modula-3 report (revised).
  • SRC Research Report 52, Digital Equipment Corporation Systems Research Center, November 1, 1989. [@SRC] (This report has been superseded by the Modula-3 book.).
• Luca Cardelli. Typeful programming. [Abstract] [Cartoon]
  • E. J. Neuhold and M. Paul, Editors. Formal Description of Programming Concepts, IFIP State of the Art Reports Series. Springer-Verlag, February 1989. ©1989 Springer [US.ps] [US.pdf] [A4.ps] [A4.pdf]S
  • SRC Research Report 45, Digital Equipment Corporation Systems Research Center. May 24, 1989. [@SRC]
• Luca Cardelli, James Donahue, Mick Jordan, Bill Kalsow, and Greg Nelson. The Modula-3 Type System. [Abstract]
  • Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989. pp 202-212.. ©1989 ACM [US.ps] [US.pdf] [A4.ps] [A4.pdf]
• Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson. Modula-3 report.
  • SRC Research Report 31, Digital Equipment Corporation Systems Research Center, August 24, 1988. (This report has been superseded by SRC Research Report 52, and then by the Modula-3 book.).
• Luca Cardelli. Amber. [Abstract]
  • 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. ©1986 Springer [@Springer] [US.ps] [US.pdf] [A4.ps] [A4.pdf]
• Luca Cardelli. The amber machine. [Abstract]
  • 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. ©1986 Springer [@Springer] [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Technical Report TR-119, AT&T Bell Laboratories, June 1985.
  • Technical Memorandum TM-11271-840924-10, AT&T Bell Laboratories, September 1984.
• Luca Cardelli and Rob Pike. Squeak: a language for communicating with mice. [Abstract]
  • Proc. Twelfth ACM Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH), 1985. ©1985 ACM [US.ps] [US.pdf]
• Antonio Albano, Luca Cardelli, and Renzo Orsini. Galileo: a strongly typed, interactive, conceptual language. [Abstract]
  • ACM Transactions on Database Systems (TODS), 10(2):230-260, 1985. ©1985 ACM [A4.ps] [A4.pdf]
• Luca Cardelli. An implementation model of rendezvous communication. [Abstract]
  • S.D. Brookes, A.W. Roscoe and G. Winskel. Seminar on Concurrency, Carnegie-Mellon University, Pittsburgh, PA, July 1984. Lecture Notes in Computer Science, Vol. 197, Springer-Verlag, 1985, ISBN 3-540-15670-4. pp 449-457. ©1985 Springer [@Springer] [US.ps] [US.pdf] [A4.ps] [A4.pdf]
  • Technical Memorandum TM-11271-841101-13, AT&T Bell Laboratories, 1984.
• Luca Cardelli. Compiling a functional language. [Abstract]
  • Proc. ACM Symposium on Lisp and Functional Programming, 1984. ©1984 ACM [US.ps] [US.pdf] [A4.ps] [A4.pdf]
• Luca Cardelli. ML under Unix. [Abstract]
  • Polymorphism, The ML/LCF/Hope Newsletters, Vol I, Number 3, December 1983. ©1983 Bell Labs [US.ps] [US.pdf]
• Luca Cardelli. The Functional Abstract Machine. [Abstract]
  • Reprint. Polymorphism, the ML/LCF/Hope Newsletter, Vol I, Number 1, 1983.
  • Technical Report TR-107, AT&T Bell Laboratories, April 1983. ©1983 Bell Labs [US.ps.Z] [US.pdf]
  • Technical Memorandum TM-83-11271-1, Bell Laboratories, March 10, 1983.
• Luca Cardelli. Two-dimensional syntax for functional languages.
  • Pierpaolo Degano and Erik Sandewall, editors, Integrated Interactive Computing Systems. Proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982. North Holland, ISBN 0-444-86595-0, 1983. pp 139-151. [PageScans.html]
• Luca Cardelli and Gordon D. Plotkin. An algebraic approach to VLSI design. [Abstract]
  • John P. Gray Editor, VLSI 81, Very Large Scale Integration, Proceedings of the first International Conference on Very Large Scale Integration, University of Edinburgh, August 18-21, 1981. Academic Press, ISBN 0-12-296860-3. pp 173-182. ©1981 AcademicPress [US.ps.Z] [US.pdf]
• Luca Cardelli. Sticks&Stones: An Applicative VLSI Design Language.
  • Internal Report CSR-85-81, University of Edinburgh, Department of Computer Science, July 1981. [PageScans.html]
• Luca Cardelli, Gianfranco Prini, and Marco Vanneschi. Multiprocessing implementation of a high-level machine language.
  • Rivista di Informatica, Vol VIII, n. 4, October-December 1978. [PageScans.html]

User Interfaces

• Luca Cardelli. Building user interfaces by direct manipulation. [Abstract]
  • 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. ©1988 ACM [US.ps] [US.pdf]
  • SRC Research Report 22, Digital Equipment Corporation Systems Research Center, October 2, 1987. [@SRC]
• Luca Cardelli. Crabs: the bitmap terror.
  • Technical Memorandum TM 11271-850701-10, AT&T Bell Laboratories. 1985. [PageScans.html] [.ps courtesy of Russ Cox]
  • Also featured in: A.K.Dewdney. At Bell Labs work is play and terminal deseases are benign. Computer Recreations, Scientific American, Sept. 1985, 18-24.