Biocomputing • Spatial Logics • Semistructured Data • Process Calculi • Objects • Types and Semantics • Language Design and Implementation • User Interfaces • Bibliographies

BioComputing

2013
• Two-Domain DNA Strand Displacement. Luca Cardelli.
  • ©2013 Mathematical Structures in Computer Science, 23, pp 247-271 doi:10.1017/S0960129512000102. April 2013. Published online: 28 February 2013.
  • ©2010 In S. B. Cooper, E. Kashefi, P. Panangaden (Eds.): Developments in Computational Models (DCM 2010). EPTCS 26, 2010, pp. 47-61, doi:10.4204/EPTCS.26.5. June 2010.
  • ©2010 Developments in Computational Models 2010, preprint.
  2012
• Continuous Markovian Logic - Axiomatization and Quantified Metatheory. Radu Mardare, Luca Cardelli, Kim Larsen.
  • ©2012 LMCS - Logical Methods in Computer Science, 8(4-19), Nov 2012. DOI:10.2168/LMCS-8(4-19)2012 (also http://arxiv.org/abs/1211.5190)
  • ©2011 Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL (CSL 2011). Schloss Dagstuhl Leibniz-Zentrum für Informatik, September 2011. pp 144-158. ISBN (print) 978-3-939897-32-3
    ISBN (electronic) 978-3-939897-32-3.
  • ©2010 CoSBi Technical Report TR-4-2010, March 2010.
• The Cell Cycle Switch Computes Approximate Majority. Luca Cardelli, Attila Csikász-Nagy.
  • ©2012 Online open access version. Scientific Reports 2:656, 13 September 2012. Nature Publishing Group, 2012. DOI: 10.1038/srep00656. www.nature.com/srep/2012/120913/srep00656/full/srep00656.html.
  • ©2012 Author's version.
  • ©2012 Supplementary Information.
  Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking. Matthew R. Lakin, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew Phillips.
  • ©2012 Journal of the Royal Society Interface, J R Soc Interface Jul 2012;9 1470-1485, doi: 10.1098/​rsif.2011.0800.
  • ©2011 September 2011.
  • ©2010 September 2010.
• Processes in Space. Luca Cardelli, Philippa Gardner.
  • ©2012 Theoretical Computer Science,Volume 431, May 2012, pp. 40-55. DOI: 10.1016/j.tcs.2011.12.051. http://dx.doi.org/10.1016/j.tcs.2011.12.051
    
  • ©2010 Extended CiE 2010 version, April 2010.
  • ©2010 F.Ferreira, B.Löwe, E.Mayordomo, L.M.Gomes (Eds.). Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June/July 2010, Proceedings. LNCS 6158, pp. 78-87, Springer 2010. (Deprecated due to physical production limitations; see extended version.)
  • ©2009 Unabridged Version, October 2009.
  • ©2009 Imperial College Technical Report DTR09-4, June 2009.
• Transcriptional Regulation is a Major Controller of Cell Cycle Transition Dynamics. Alessandro Romanel, Lars Juhl Jensen, Luca Cardelli, Attila Csikász-Nagy.
  • ©2012 PLoS ONE 7(1): e29716. doi:10.1371/journal.pone.0029716. Jan 2012. <http://www.plosone.org/article/info%3Adoi%2F10.1371%2Fjournal.pone.0029716>
  2011
• DNA Computing and Molecular Programming. Luca Cardelli, William Shih (Eds).
  • 17th International Conference, DNA 17, Pasadena, CA, USA, September 2011, Proceedings. Lecture Notes in Computer Science 6937, Springer, http://dx.doi.org/10.1007/978-3-642-23638-9.
• A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization. Neil Dalchau, Andrew Phillips, Leonard D. Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M. Werner.
  • ©2011 PLoS Computational Biology 7(10): e1002144. doi:10.1371/journal.pcbi.1002144. October 2011.
• Strand Algebras for DNA Computing. Luca Cardelli.
  • ©2011 Natural Computing 10(1) p. 407-428, March 2011. DOI: 10.1007/s11047-010-9236-7.
  • ©2009 DNA Computing and Molecular Programming. 15th International Conference, DNA 15, Fayetteville, AR, USA, June 2009, Revised Selected Papers. LNCS 5877, Springer, October 2009, pp 12-24. (Deprecated: reformatted for LNCS and truncated due to new space restrictions. This is not the paper that appeared at the conference: see original Apr 2009 conference version or the extended Natural Computing version.)
  • ©2009 Apr 2009. DNA 15 Preliminary Proceedings. (Distributed at the conference only.)
  • ©2009 Mar 2009. DNA 15 Submission. (Uses a different DNA semantics.)
• Response Dynamics of Phosphorelays Suggest Their Potential Utility in Cell Signaling. Attila Csikász-Nagy, Luca Cardelli, Orkun S Soyer.
  • ©2011 Journal of the Royal Society Interface. 6 April 2011 vol. 8 no. 57 480-488. Published Online August 11, 2010. doi: 10.1098/​rsif.2010.0336.
• Modular Markovian Logic. Luca Cardelli, Kim Larsen, Radu Mardare.
  • ©2011 ICALP '11. Proceedings of the 38th international conference on Automata, languages and programming. Vol II, 380-391. Springer July 2011. ISBN: 978-3-642-22011-1.
  • ©2011 February 2011, ICALP'11 submission.
• Reversibility in Massive Concurrent Systems. Luca Cardelli, Cosimo Laneve.
  • ©2011 Scientific Annals of Computer Science 21(2) 175-198, A.I. Cuza University Press, October 2011.
  • ©2011 September 2011.
• Reversible Structures. Luca Cardelli, Cosimo Laneve.
  • ©2011 Proceedings of 9th Int. Conf. on Computational Methods in Systems Biology (CMSB 2011), ACM Digital Library, September 2011. 131-140. Doi:10.1145/2037509.2037529.
  • ©2011 May 2011.
• Stochastic Pi-Calculus Revisited. Luca Cardelli, Radu Mardare.
  • ©2011 February 2011.
• An Intuitive Modelling Interface for Systems Biology. Ozan Kahramanoğulları, Luca Cardelli, Emmanuelle Caron.
  • ©2011 International Journal of Software and Informatics, ISSN 1673-7288. (In press.)
  • ©2009 Developments in Computational Models 2009. EPTCS 9, pp. 73-86, 2009. http://arxiv.org/abs/0911.2327.
  • ©2009 Developments in Computational Models 2009. A workshop affiliated with ICALP 2009.
  2010
• Algebras and Langugages for Molecular Programming. Luca Cardelli.
  • ©2010 Unconventional Computing 2010 (Invited Talk Abstract).
• The Measurable Space of Stochastic Processes. Luca Cardelli, Radu Mardare.
  • ©2010 QEST 2010 extended version.
  • ©2010 Seventh International Conference on the Quantitative Evaluation of Systems, QEST 2010, Williamsburg, VA, USA September 15-18. IEEE Publishing, ISBN: 978-0-7695-4188-4, pp 171-180, 2010.
  • ©2010 CoSBi Technical Report TR-3-2010, March 2010.
• Exploring DNA Sratnd-Displacement Computational Elements. Luca Cardelli, Andrew Phillips, Simon Youssef.
  • ©2010 (2-page Abstract) DNA 16 At-conference Proceedings. May 2010.
  • ©2010 February 2010.
• Classical Cut Elimination in the Pi-Calculus. Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti.
  • ©2010 February 2010.
• Turing Universality of the Biochemical Ground Form. Luca Cardelli, Gianluigi Zavattaro. (Extended version of "On the Computational Power of Biochemistry" with new results.)
  • ©2010 Mathematical Structures in Computer Science, 20(1):45-73, February 2010. DOI 10.1017/S0960129509990259.
  2009
• Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics. Dennis Y.Q. Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher. BMC Systems Biology 2009, 3:118. doi:10.1186/1752-0509-3-118.
  • ©2009 Publisher version at http://www.biomedcentral.com/1752-0509/3/118. November 2009.
  • ©2009 November 2009 Submission.
• Visualization in Process Algebra Models of Biological Systems. Luca Cardelli, Corrado Priami.
  • ©2009 In Tony Hey, Stewart Tansley, Kristin Tolle, Eds. The Fourth Paradigm: Data Intensive Scientific Discovery. Creative Commons Attribution Share Alike License, pp 99-105, October 2009.
• Molecules as Automata (Extended Abstract). Luca Cardelli.
  • ©2009 In: A.Corradini, U.Montanari (Eds.). Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa 13-16 June 2008. Lecture Notes in Computer Science 5486, Springer, June 2009.
• A Programming Language for Composable DNA Circuits. Andrew Phillips, Luca Cardelli.
  • ©2009 (Publisher's Version) Journal of the Royal Society Interface, August 6, 2009 6:S419-S436. Published Online 17 June 2009 DOI: 10.1098/rsif.2009.0072.focus.
  • ©2009 Journal of the Royal Society Interface. DOI: 10.1098/rsif.2009.0072.focus.17 June 2009.
• A Process Model of Actin Polymerisation. Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips.
  • ©2009 Electronic Notes in Theoretical Computer Science (ENTCS) 229(1) February 2009, 127-144.
  • ©2008 From Biology to Concurrency and back, FBTC 2008, Satellite Workshop of ICALP 2008, July 2008, Reykjavik.
• A Process Model of Rho GTP-binding Proteins. Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
  • ©2009 Theoretical Computer Science. DOI 10.1016/j.tcs.2009.04.029. http://dx.doi.org/10.1016/j.tcs.2009.04.029. June 2009.
• Can a Systems Biologist Fix a Tamagotchi? Luca Cardelli
  • ©2009 In: Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin (Eds.), From Semantics to Computer Science - Essays in Honour of Gilles Khan, Chapter 23, Cambridge University Press, pp 517-528. Cambridge University Press, 2009. ISBN 978-0-521-51825-3.
  • ©2007 Position Paper for the Gilles Kahn Colloquium, Paris, January 12, 2007.
• Artificial Biochemistry. Luca Cardelli
  • ©2009 Current Version. Auxiliary Materials: Figures.
  • ©2009 In A.Condon, D.Harel, J.N.Kok, A.Salomaa, E.Winfree (Eds.) Algorithmic Bioprocesses. Springer 2009. DOI: 10.1007/978-3-540-88869-7_22. ISBN: 978-3-540-88868-0. Auxiliary Materials: Simulations, Figures.
  • ©2006 Technical Report TR-08-2006, The Microsoft Research - University of Trento Centre for Computational and Systems Biology, 2006.
  2008
• Termination Problems in Chemical Kinetics. Gianluigi Zavattaro, Luca Cardelli.
  • ©2008 In F.van Breugel, M.Chechik (Eds.) CONCUR 2008 - Concurrency Theory, 19th International Conference, Toronto, Canada, August 2008. LNCS 5201, pp 477-491, Springer 2008.
• On the Computational Power of Biochemistry. Luca Cardelli, Gianluigi Zavattaro
  • ©2008 Third International Conference on Algebraic Biology, AB 2008, July 2008, Linz.
• A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları.
  • ©2008 Proc. From Biology To Concurrency and back, Lisbon 8 Sep 2007 in conjunction with Concur 2007.ENTCS 194(3):87-102, Elsevier, 2008. <doi:10.1016/j.entcs.2007.12.007>
• From X to Pi: Representing Classical Sequent Calculus in Pi-calculus. S. van Bakel, L. Cardelli and M.G. Vigliotti
  • ©2008 International Workshop on Classical Logic and Computation (CL&C'08), Reykjavik, Iceland, July 2008.
• From Processes to ODEs by Chemistry. Luca Cardelli
  • ©2008 Fifth IFIP International Conference on Theoretical Computer Science, TCS 2008, 261-281, Milan, September 2008. ISBN: 978-0-387-09679-7. DOI: <http://dx.doi.org/10.1007/978-0-387-09680-3_18>
• On Process Rate Semantics. Luca Cardelli
  • ©2008 Same as TCS Version, but with better formatting and navigation.
  • ©2008 Theoretical Computer Science 391(3) 190-215, Elsevier, 2008. DOI: <http://dx.doi.org/10.1016/j.tcs.2007.11.012>
• Bitonal Membrane Systems - Interactions of Biological Membranes. Luca Cardelli.
  • ©2008 Theoretical Computer Science 404(1-2), Elsevier, September 2008, pp. 5-18. DOI: <http://dx.doi.org/10.1016/j.tcs.2008.04.016>
  2007
• Efficient, Correct Simulation of Biological Processes in Stochastic Pi-calculus. Andrew Phillips, Luca Cardelli
  • ©2007 Proc. Computational Methods in Systems Biology, CMSB 2007, Edinburgh, September 2007. LNBI 4695, 184-199, Springer 2007.
• A Process Algebra Master Equation. Luca Cardelli
  • ©2007 Fourth International Conference on the Quantitative Evaluation of Systems, QEST 2007, Edinburgh, September 2007. IEEE Publishing, ISBN: 978-0-7695-2883-0, pp 219-224, 2007.
• Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation. Ralf Blossey, Luca Cardelli, Andrew Phillips
  • ©2007 HFSP Journal, 2(1):17–28 February 2008.
  • ©2007 Arxiv: q-bio.MN/070216, Feb 9 2007.
  2006
• A Graphical Representation for Biological Processes in the Stochastic Pi-calculus. Andrew Phillips, Luca Cardelli, Giuseppe Castagna
  • ©2006 Transactions on Computational Systems Biology VII - Lecture Notes in Computer Science, Vol 4230, Springer 2006, ISBN: 978-3-540-48837-8, pp 123-152. [@Springer]
• A Compositional Approach to the Stochastic Dynamics of Gene Networks. Ralf Blossey, Luca Cardelli, Andrew Phillips
  • ©2006 Transactions on Computational Systems Biology IV - Lecture Notes in Computer Science, Vol 3939, Springer 2006, ISBN: 3-540-33245-6, pp 99-122. [@Springer]
  • ©2005 CONCUR 2005 Invited Lecture.Lecture Notes in Computer Science, Vol 3653, Springer, 2005
  • ©2005 (Aux Material: ) Early Version.
• A Universality Result for a (Mem)Brane Calculus Based on Mate/Drip Operations. Luca Cardelli, Gheorghe Păun
  • ©2006 International Journal of Foundations of Computer Science, 17(1), pp 49-68. World Scientific Publishing Company. 2006. [@WorldScientific]
  • ©2005 Miguel Angel Gutirrez-Naranjo, Gheorghe Păun,Mario J. Prez-Jimnez, Eds.. Cellular Computing (Complexity Aspects) ESF PESC Exploratory Workshop, Sevilla, Jan 31 - Feb 2, 2005. Pages 75-94. Fnix Editora 2005.
  2005
• A Graphical Representation for the Stochastic Pi-calculus. Andrew Phillips, Luca Cardelli
  • ©2005 Proceedings of Concurrent Models in Molecular Biology (Bioconcur'05), affiliated with CONCUR'05. 2005.
• Where Membranes Meet Complexes. Luca Cardelli, Sylvain Pradalier
  • ©2005 Proceedings of Concurrent Models in Molecular Biology (Bioconcur'05), affiliated with CONCUR'05. 2005.
  • ©2005 Draft.
• Abstract Machines of Systems Biology. Luca Cardelli.
  • ©2007 Current Version.
  • ©2007 Reprinted in the Bulletin of the EATCS No 93, The Natural Computing Column by Grzegorz Rozenberg, pp 176-204, 2007.
  • ©2005 Transactions on Computational Systems Biology. III, LNBI 3737, pp 145-168, Springer 2005. [@Springer]
• Biological Systems as Reactive Systems. (Abstract only) Luca Cardelli.
  • ©2005 Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings. Editors: Mario Coppo, Elena Lodi, G. Michele Pinna ISBN: 3-540-29106-7. pp 21, 2005.
• Biological Systems as Complex Systems. Luca Cardelli.
  • ©2005 Position Paper for IST FET Complex Systems
• Brane Calculi - Interactions of Biological Membranes. Luca Cardelli.
  • ©2005 Current Version.
  • ©2005 V.Danos, V.Schachter Eds.: Computational Methods in Systems Biology. International Conference CMSB 2004, Paris, France, May 2004, Revised Selected Papers. Lecture Notes in Computer Science, Vol 3082, Springer, 2005. ISBN 3-540-25375-0. pp 257-280.
  • ©2004 Proc. BioConcur'03.
  2004
• A Correct Abstract Machine for the Stochastic Pi-calculus. Andrew Phillips, Luca Cardelli.
  • ©2005 Current Version.
  • ©2004 Proceedings of Concurrent Models in Molecular Biology (Bioconcur'04), affiliated with CONCUR'04. 2004.
• Process Calculi and Biology. Luca Cardelli.
  • ©2004 Position Paper for IST FET.
• Languages for Systems Biology. Luca Cardelli.
  • ©2004 Position paper for the Conference on Grand Challenges in Computing Research, Newcastle 29-31 March 2004. Grand Challenges UK, GC1 InVivo<=>InSilico.
• BioAmbients: An Abstraction for Biological Compartments. Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro.
  • ©2004 Theoretical Computer Science, Special Issue on Computational Methods in Systems Biology. Volume 325, Issue 1 , 28 September 2004, Pages 141-167. Elsevier. Available at ScienceDirect.
    • ReadMe for BioSPI Obesity Example
    • Code for BioSPI Obesity Example
• Bioware Languages. Luca Cardelli.
  • ©2004 In: Andrew Herbert, Karen Sparck Jones (Eds.): Computer Systems: Theory, Technology, and Applications - A Tribute to Roger Needham, Monographs in Computer Science. Springer 2004. ISBN 0-387-20170-X. pp 59-65.

Spatial Logics

2006
• Ambient Logic. Luca Cardelli and Andrew D. Gordon.
  • ©2006 Mathematical Structures in Computer Science. Accepted for publication, 2006. Not appearing because of formatting dispute with printer.
2005
• Deciding Validity in a Spatial Logic for Trees. Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon. 
  • ©2005 Journal of Functional Programming, Vol 15, pp 543-572. Cambridge University Press, 2005.
  • ©2003 ACM Workshop on Types in Language Design and Implementation, TLDI'03, New Orleans, January 2003, ACM Press. pp 62-73.
  • ©2002 Full Version. Microsoft Tech Report MSRTR2002113.
2004
• A Spatial Logic for Concurrency (Part II). Luis Caires and Luca Cardelli.
  • ©2004 Theoretical Computer Science, 322(3) pp. 517-565, September 2004.
  • ©2002 Lubos Brim, Petr Jancar, Mojmir Kretinsky Antonin Kucera (Eds.). CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 2002, Proceedings. Lecture Notes in Computer Science 2421, Springer, 2002, ISBN 3-540-44043-7. pp 209-225. [@Springer]
  2003
• A Spatial Logic for Concurrency (Part I). Luis Caires and Luca Cardelli.
  • ©2003 Information and Computation, Vol 186/2 November 2003. pp 194-235.
  • ©2001 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. [@Springer]
2002
• A Spatial Logic for Querying Graphs. Luca Cardelli, Philippa Gardner, and Giorgio Ghelli.
  • ©2002 Peter Widmayer, Francisco Triguero, Rafael Morales, Matthew Hennessy, Stephan Eidenbenz, Ricardo Conejo (Eds.). Automata, Languages, and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 2002, Proceedings. Lecture Notes in Computer Science, Vol 2380, Springer, 2002. ISBN 3-540-43864-5. pp 597-610.
  2001
• Logical Properties of Name Restriction. Luca Cardelli and Andrew D. Gordon.
  • ©2001 Samson Abramsky (Ed.). Typed Lambda Calculi and Applications. 5th International Conference, TLCA 2001, Krakow, Poland, May 2001, Proceedings. Lecture Notes in Computer Science, Vol. 2044, Springer, 2001. ISBN 3-540-41960-8. pp 46-60. [@Springer]
  • ©2000 Full Version.
2000
• Anytime, Anywhere. Modal Logics for Mobile Ambients. Luca Cardelli and Andrew D. Gordon.
  • ©2000 Proceedings of the 27th ACM Symposium on Principles of Programming Languages, 2000. pp 365-377. [US.pdf]

Semistructured Data

2007
• Manipulating Trees with Hidden Labels. Luca Cardelli, Philippa Gardner, and Giorgio Ghelli.
  • ©2007 L.Cardelli, M.Fiore, G.Winskel (Eds.) Computation, Meaning end Logic: Articles dedicated to Gordon Plotkin. ENTCS Electronic Notes in Theoretical Computer Science, Vol 172, 2007. pp. 177-201.
  • ©2006 L.Cardelli, M.Fiore, G.Winskel (Eds.) Computation, Meaning end Logic: Articles dedicated to Gordon Plotkin. ENTCS Preliminary Proceedings, Edinburgh Sep 9, 2006. pp 129-253.
  • ©2004 Full Version. Departmental Technical Report 2004/4, Imperial College London.
  • ©2003 Andrew D. Gordon (Ed.) Foundations of Software Science and Computational Structures. 6th International Conference, FOSSACS 2003. Held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003. Warsaw, Poland, April 7-11, 2003. Proceedings. Lecture Notes in Computer Science 2620. Springer, 2003. ISBN 3-540-00897-7. pp 216-232. [@Springer]
2004
• Greedy Regular Expression Matching. Alain Frisch and Luca Cardelli.
  • ©2004  Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Lecture Notes in Computer Science 3142. Springer 2004.ISBN 3-540-22849-7. pp. 618-629.
  • ©2004 Plan-X'04 Workshop. (No formal proceedings.) 2004 Microsoft & Ecole Normale Superieure.
• TQL: A Query Language for Semistructured Data Based on the Ambient Logic. Luca Cardelli, Giorgio Ghelli.
  • ©2004 Mathematical Structures in Computer Science. Vol 14. Cambridge University Press. 2004. pp 285-327.
  2001
• A Query Language Based on the Ambient Logic. Luca Cardelli, Giorgio Ghelli.
  • ©2001 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.
  • ©2001 Database-Oriented Version: Extended Abstract.
  • ©2001 Database-Oriented Version: Full Version.
• Describing Semistructured Data. Luca Cardelli.
  • ©2001 Leonid Libkin (Column Ed.): SIGMOD Record, Vol 30, No 4, Dec 2001, Database Principles Column. [@ACM.pdf] [US.pdf]
  2000
• Semistructured Computation. Luca Cardelli.
  • ©2000 Invited Paper. Richard C. H. Connor, Alberto O. Mendelzon (Eds.): Research Issues in Structured and Semistructured Database Programming, 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers. Lecture Notes in Computer Science 1949. Springer, 2000. ISBN 3-540-41481-9. pp. 1-16. [@Springer]

Process Calculi

2003
• Equational Properties of Mobile Ambients. Andrew D. Gordon and Luca Cardelli.
  • ©2003 Mathematical Structures in Computer Science 13(3):371-408, June 2003.
  • ©1999 Extended version. Microsoft Research Technical Report MSR-TR-99-11. 1999. [@Microsoft]
  • ©1999 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.
  2002
• Types for the Ambient Calculus. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon.
  • ©2002 Information and Computation, 177(2), 2002. pp. 160-194.
    (I&C Special issue on IFIP TCS 2000, where "Ambient Groups and Mobility Types" was published.)
  2000
• Mobility and Security. Luca Cardelli.
  • ©2000 Lecture notes for Marktoberdorf Summer School 1999. (A summary of several Ambient Calculus papers.) Foundations of Secure Computation, Friedrich L. Bauer and Ralf Steinbrggen (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. [US.pdf]
• Ambient Groups and Mobility Types. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon.
  • ©2000 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.
• Mobile Ambients. Luca Cardelli and Andrew D. Gordon.
  • Abridged reprint. Formal Methods for Distributed Processing, A Survey of Object-Oriented Approaches, H. Bowman and J. Derrick Editors, Cambridge University Press, 2001. ISBN 0-521-77184-6. pp 198-229.
  • ©2000 Theoretical Computer Science, Special Issue on Coordination, D. Le Mtayer Editor. Vol 240/1, June 2000. pp 177-213. [US.pdf]
  • ©1998 Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, Vol. 1378, Springer, 1998. pp. 140-155. [@Springer] [US.pdf]
  • ©1998 Annex.
  • ©1997 Short summary (HOOTS'97)
  1999
• Wide Area Computation. Luca Cardelli.
  • ©1999 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. [@Springer] [US.pdf]
• Foundations for Wide-Area Systems. Luca Cardelli.
  • ©1999 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.
• Mobility Types for Mobile Ambients. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. 
  • ©1999 Extended version. Microsoft Research Technical Report MSR-TR-99-32. 1999. [@Microsoft]
  • ©1999 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. [@Springer]
• Types for Mobile Ambients. Luca Cardelli and Andrew D. Gordon.
  • ©1999 Proceedings of the 26th ACM Symposium on Principles of Programming Languages, 1999. pp 79-92. [US.pdf]
  • ©1998 Ambient Décor (Abstract). In P.Degano, U.Vaccaro, G.Pirillo (Eds.): Sixth Italian Conference on Theoretical Computer Science, Prato Italy, November 9-11 1998, World Scientific, 1998.
• Abstractions for Mobile Computation. Luca Cardelli.
  • ©1999 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. [@Springer] [US.pdf]
  • ©1998 Microsoft Research Technical Report MSR-TR-98-34. 1998. [@Microsoft]
  1998
• Wide-Area Languages. (Abstract only) Luca Cardelli.
  • ©1998 Kurt Rothermel and Fritz Hohl, Editors. Mobile Agents. Second International Workshop, MA '98, Stuttgart, Germany, September 1998, Proceedings. Lecture Notes in Computer Science, Vol. 1477, Springer, 1998. ISBN 3-540-64959-X. pp. 208.
  1982
• Real time agents. Luca Cardelli.
  • ©1982 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. [@Springer]
1980
• Analog processes. Luca Cardelli.
  • ©1980 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. [@Springer]

Objects

2003
• ECOOP 2003 - Object-Oriented Programming. (Book) Luca Cardelli (Ed.). 17th European Conference, Darmstadt, Germany, July 2003, Proceedings.
  • ©2003 Lecture Notes in Computer Science, Vol. 2743, Springer, 2003. ISBN 3-540-40531-3.
  1999
• Comparing Object Encodings. Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce.
  • ©1999 Information and Computation.Vol. 155, No. 1/2, Dec 1999, pp. 108-133.
  • ©1997 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]
1996
• Bad engineering properties of object-oriented languages. (Position paper.) Luca Cardelli.
  • ©1996 ACM Computing Surveys, 28(4es), Article 150. 1996. [html] [US.pdf] [@ACM]
• A theory of objects. (Book.) [Info] Martín Abadi and Luca Cardelli.
  • Springer, 1996.
• An interpretation of objects and object types. Martín Abadi, Luca Cardelli, Ramesh Viswanathan.
  • ©1996 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.
• On subtyping and matching. Martín Abadi and Luca Cardelli.
  • ©1996 ACM Transactions on Programming Languages and Systems, 18(4):401-423, 1996. [US.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]
• A theory of primitive objects: Untyped and first-order systems. Martín Abadi and Luca Cardelli.
  • ©1996 Information and Computation, 125(2):78-102, March 1996. [US.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]
  1995
• On binary methods. Kim Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, Benjamin Pierce.
  • ©1995 Theory and Practice of Object Systems, 1(3):221-242, 1995. [US.ps]
• An imperative object calculus. Martín Abadi and Luca Cardelli.
  • ©1995 Theory and Practice of Object Systems, 1(3):151-166, 1995.
  • 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]
• An imperative object calculus: Basic typing and soundness. Martín Abadi and Luca Cardelli.
  • ©1995 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. [US.pdf]
• A theory of primitive objects: Second-order systems. Martín Abadi and Luca Cardelli.
  • ©1995 Science of Computer Programming, 25(2-3):81-116. December 1995. [US.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]
  1994
• A semantics of object types. Martín Abadi and Luca Cardelli.
  • ©1994 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. [US.pdf]

Types and Semantics

2007
• Computation Meaning and Logic: Articles dedicated to Gordon Plotkin. Luca Cardelli, Marcelo Fiore, Glynn Winskel (Eds.).
  • ©2007 ENTCS Electronic Notes in Theoretical Computer Science, Vol 172, 2007.
  2005
• Secrecy and Group Creation. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon.
  • ©2005 Information and Computation. Volume 196, Issue 2, 29 January 2005, Pages 127-155. [@ScienceDirect]
  • ©2000 Full Version.
  • ©2000 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.
  • ©2002 Abstract of Presentation. Ted Hurley , Mchel Mac an Airchinnigh , Michel Schellekens and Anthony SedaElectronic (Guest Editors). The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000)
    Cork, Ireland, 20th and 21st July, 2000. Electronic Notes in Theoretical Computer Science, Vol 40. Elsevier Science, 2002. [@Elsevier]
  2004
• Type systems. Luca Cardelli.
  • ©2004 Allen B. Tucker (Ed.): The Computer Science and Engineering Handbook. CRC Press, 2004. Chapter 97.
  • ©1997 Allen B. Tucker (Ed.): The Computer Science and Engineering Handbook. CRC Press, 1997, ISBN: 0-8493-2909-4. Chapter 103, pp 2208-2236. [US.pdf]
  • ©1996 Summary. ACM Computing Surveys, 28(1):263-264, 1996. [html] [US.pdf] [@ACM]
  1998
• POPL'98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (Proceedings) Luca Cardelli (Ed.).
  • ©1998 The Association for Computing Machinery, 1998. ACM ISBN 0-89791-979-3.
  1997
• Program fragments, linking, and modularization. Luca Cardelli.
  • ©1997 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. [US.pdf]
  • ©1997 SRC Research Report 144, Digital Equipment Corporation Systems Research Center. February 15, 1997. [@SRC]
  1995
• Dynamic typing in polymorphic languages. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, and Didier Rémy.
  •  [Cartoon]
  • ©1995 (Same as SRC report) Journal of Functional Programming, 5(1):111-130, January 1995.
  • ©1994 SRC Research Report 120, Digital Equipment Corporation Systems Research Center. January 26, 1994. [@SRC]
  • ©1992 Preliminary version. Proceedings of the ACM SigPlan Workshop on ML and its Applications, June 1992.
  1994
• Subtyping and parametricity. Gordon D. Plotkin, Martín Abadi, and Luca Cardelli.
  • ©1994 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. [A4.ps]
• Extensible records in a pure calculus of subtyping. Luca Cardelli.
  • ©1994 C.A. Gunter and J.C. Mitchell, Editors. Theoretical Aspects of Object-Oriented Programming. MIT Press, 1994. pp 373-425. [US.pdf]
  • ©1992 SRC Research Report 81, Digital Equipment Corporation Systems Research Center, January 3, 1992. [@SRC]
• An extension of system F with subtyping. Luca Cardelli, John C. Mitchell, Simone Martini, and Andre Scedrov.
  • [Cartoon]
  • ©1994 Information and Computation, 109(1/2):4-56, February 1994. [US.pdf]
  • ©1991 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]
  • ©1991,1993 SRC Research Report 80, Digital Equipment Corporation Systems Research Center. December 30, 1991. Revised January 1, 1993 [@SRC]
  1993
• Formal parametric polymorphism. Martín Abadi, Luca Cardelli, and Pierre-Louis Curien.
  • ©1993 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. [US.pdf]
  • ©1993 Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, January 1993. pp 157-170.
  • ©1993 SRC Research Report 109, Digital Equipment Corporation Systems Research Center. July 15, 1993. [@SRC]
• An implementation of F<:. Luca Cardelli.
  • ©1997 1997 Revised Version.
  • ©1993 SRC Research Report 97, Digital Equipment Corporation Systems Research Center, February 23, 1993. [@SRC]
• Subtyping recursive types. Roberto M. Amadio and Luca Cardelli.
  • [Cartoon]
  • ©1993 ACM Transactions on Programming Languages and Systems, 15(4):575-631, 1993. [US.pdf]
  • ©1991 Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, January 1991. pp 104-118.
  • ©1990 SRC Research Report 62, Digital Equipment Corporation Systems Research Center. August 14, 1990. [@SRC]
  1991
• A pure calculus of subtyping, and applications (outline). Luca Cardelli.
  • ©1991 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.
• A semantic basis for Quest. Luca Cardelli and Giuseppe Longo.
  • [Cartoon]
  • ©1991 Journal of Functional Programming, 1(4):417-458, October 1991. [US.pdf]
  • ©1990 Proceedings of ACM Conference on LISP and Functional Programming (1990).
  • ©1990 SRC Research Report 55, Digital Equipment Corporation Systems Research Center. February 14, 1990. [@SRC]
• Explicit substitutions. Martín Abadi, Luca Cardelli, Pierre-Louis Curien, and Jean-Jacques Lévy.
  • [Cartoon]
  • ©1991 Journal of Functional Programming, 1(4):375-416, October 1991.
  • ©1990 SRC Research Report 54, Digital Equipment Corporation Systems Research Center. February 6, 1990. [@SRC]
  • ©1990 Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, January 1990. pp 31-46.
• Dynamic typing in a statically-typed language. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, and Gordon D. Plotkin.
  • [Cartoon]
  • ©1991 ACM Transactions on Programming Languages and Systems, 13(2):237-268, April 1991.
  • Preliminary version. Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989. pp 213-227.
  • ©1989 SRC Research Report 47, Digital Equipment Corporation Systems Research Center. June 10, 1989. [@SRC]
  1990
• Abstract types and the dot notation. Luca Cardelli and Xavier Leroy.
  • [Cartoon]
  • ©1990 Programming Concepts and Methods, IFIP State of the Art Reports. (TC2 Working Conference, Sea of Galilee, Israel, April 2-5 1990.) North Holland, 1990. pp 479-504.
  • ©1990 SRC Research Report 56, Digital Equipment Corporation Systems Research Center. March 10, 1990. [@SRC]
• Operations on records. Luca Cardelli and John C. Mitchell.
  • [Cartoon]
  • ©1994 Reprint. In Theoretical Aspects of Object-Oriented Programming, MIT Press, 1994. [US.pdf]
  • Mathematical Structures in Computer Science, 1(1):3-48, March 1991.
  • ©1990 In Mathematical Foundations of Programming Semantics, 5th International Conference Proceedings,Tulane University, March/April 1989, Lecture Notes in Computer Science, Vol. 442, Springer, 1990.
  • ©1989 SRC Research Report 48, Digital Equipment Corporation Systems Research Center. August 25, 1989. [@SRC]
  1988
• Types for data-oriented languages. Luca Cardelli.
  • ©1988 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. [@Springer] [US.pdf]
• Structural subtyping and the notion of power type. Luca Cardelli.
  • ©1988 Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, January 1988. pp 70-79. [US.pdf]
• Phase Distinctions in Type Theory. Luca Cardelli.
  • ©1988 Unpublished. Jan 4, 1988. [US.pdf]
• Persistence and Type Abstraction. Luca Cardelli, David B. MacQueen.
  • ©1988 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.
  • ©1985 Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Persistence and Data Types, Papers for the Appin Workshop. Appin, Scotland, August 1985. University of Galsgow and University of St Andrews, Persistent Programming Research Report 16. 1985. pp 231-240.
• A semantics of multiple inheritance. Luca Cardelli.
  • Reprint. Stanley B. Zdonik and David Maier, Readings in Object Oriented Database Systems, Morgan Kaufmann Publishers Inc. 1990. ISBN 1-55860-000-0. pp 59-83.
  • ©1988 Information and Computation, 76(2/3): 138-164, February 1988. [US.pdf]
  • ©1984 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]
  • Draft: "Computing with Taxonomies".
  1987
• Basic polymorphic typechecking. Luca Cardelli. 
  • ©1987 Science of Computer Programming, 8(2): 147-172, 1987. [US.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.
  1986
• Typechecking dependent types and subtypes. Luca Cardelli.
  • ©1986 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. [@Springer]
• A polymorphic lambda-calculus with Type:Type. Luca Cardelli.
  • ©1986 SRC Research Report 10, Digital Equipment Corporation Systems Research Center, May 1, 1986. [US.pdf] [@SRC]
  1985
• On understanding types, data abstraction, and polymorphism. Luca Cardelli and Peter Wegner.
  • ©1985 Computing Surveys, 17(4):471-522, 1985. [US.pdf]
  1978
• Una teoria dei linguaggi applicativi. Luca Cardelli.
  • ©1978 "Tesi di Laurea" Abstract in English, University of Pisa, July 1978.
  • ©1978 "Tesi di Laurea", University of Pisa, July 1978.

Language Design and Implementation

2004
• Modern Concurrency Abstractions for C#. Nick Benton, Luca Cardelli, Cedric Fournet.
  • ©2004 ACM Transactions on Programming Languages and Systems (TOPLAS) 26(5), September 2004. pp.269-804.
  • ©2002 Boris Magnusson, Editor: ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14 2002, Proceedings. Lecture Notes in Computer Science 2374, Springer, 2002. ISBN 3-540-43759-2. pp. 415-440.
  • ©2001 FOOL9.
  1999
• Principles and a Preliminary Design for ML2000. The ML2000 Working Group.
  • ©1999 Draft. 1999.
• Internet Programming Languages. Henri E. Bal, Boumediene Belkhouche, and Luca Cardelli, Editors.
  • ©1999 Preface and Table of Contents.
  • [Full Articles] Lecture Notes in Computer Science, Vol. 1686, Springer, 1999. ISBN 3-540-66673-7. [@Springer]  
• Service Combinators for Web Computing. Luca Cardelli and Rowan Davies.
  • ©1999 IEEE Transactions on Software Engineering, Vol 25, No 3, May-June 1999. pp 309-316.
  • Preliminary version. Proc. of the First Usenix Conference on Domain Specific Languages, Santa Barbara, California, October 15-17, 1997.
  • ©1997 SRC Research Report 148, Digital Equipment Corporation Systems Research Center. June 1, 1997. [@SRC]
  1997
• Mobile Ambient Synchronization. Luca Cardelli.
  • ©1997 SRC Technical Note 1997-013, Digital Equipment Corporation Systems Research Center. July 1997. [US.pdf] [@SRC]
• Mobile Computation. Luca Cardelli.  
  • ©1997 Book Intro. 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. [@Springer] [html] [US.pdf]
• Migratory Applications. Krishna Bharat and Luca Cardelli.  
  • ©1997 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. [@Springer] [US.pdf]
  • ©1996 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.
  • ©1995 Videotape Demo, prepared for User Interface Software and Technology '95.
  1996
• Global computation. (Position paper.) Luca Cardelli.
  • Reprint. ACM Sigplan Notices, 32(1):66-68, 1997.
  • ©1996 ACM Computing Surveys, 28(4es), Article 163. 1996. [@ACM] [html] [US.pdf]
  1995
• Distributed applications in a multimedia setting. Krishna Bharat and Luca Cardelli.
  • ©1995 Proceedings of the First International Workshop on Hypermedia Design (IWHD'95), Montpellier, France, 1-2 June 1995. pp 185-192. [US.pdf]
• A language with distributed scope. Luca Cardelli.
  • ©1995 Computing Systems, 8(1):27-59, January 1995. [US.pdf]
  • ©1995 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.
• Mobile Computation (Position Paper). Luca Cardelli.
  • ©1995 Stanford Workshop.
  1994
• Obliq: A language with distributed scope. Luca Cardelli.
  • [Cartoon]
  • ©1994 SRC Research Report 122, Digital Equipment Corporation Systems Research Center, June 3, 1994. [US.pdf] [@SRC]
• Extensible syntax with lexical scoping. Luca Cardelli, Florian Matthes, and Martín Abadi.
  • ©1994 SRC Research Report 121, Digital Equipment Corporation Systems Research Center, February 21, 1994. [@SRC]
• Extensible grammars for language specialization. Luca Cardelli, Florian Matthes, and Martín Abadi.
  • ©1994 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.
  1991
• [Modula-3] Language definition. Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson.
  • Greg Nelson, Ed., System Programming with Modula-3. Prentice Hall, ISBN 0-13-590464-1.1991. Chapter 2, pp 11-66.
  1989
• Modula-3 report (revised). Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson.
  • ©1989 SRC Research Report 52, Digital Equipment Corporation Systems Research Center, November 1, 1989. [@SRC] (This report has been superseded by the Modula-3 book.).
• Typeful programming. Luca Cardelli.
  • [Cartoon]
  • ©1989 E. J. Neuhold and M. Paul, Editors. Formal Description of Programming Concepts, IFIP State of the Art Reports Series. Springer-Verlag, February 1989. [US.pdf]
  • ©1989 SRC Research Report 45, Digital Equipment Corporation Systems Research Center. May 24, 1989. [@SRC]
• The Modula-3 Type System. Luca Cardelli, James Donahue, Mick Jordan, Bill Kalsow, and Greg Nelson. 
  • ©1989 Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989. pp 202-212. [US.pdf]
  1988
• Modula-3 report. Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson.
  • 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.).
  1986
• Amber. Luca Cardelli.
  • ©1986 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. [@Springer] [US.pdf]
  • Technical Memorandum TM-11271-841024-10, AT&T Bell Laboratories, September 1984.
• The amber machine. Luca Cardelli.
  • ©1986 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. [@Springer] [US.pdf]
  • Technical Report TR-119, AT&T Bell Laboratories, June 1985.
  • Technical Memorandum TM-11271-840924-10, AT&T Bell Laboratories, September 1984.
  1985
• Squeak: a language for communicating with mice. Luca Cardelli and Rob Pike.
  • ©1985 Proc. Twelfth ACM Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH), 1985.
• Galileo: a strongly typed, interactive, conceptual language. Antonio Albano, Luca Cardelli, and Renzo Orsini.
  • ©1985 ACM Transactions on Database Systems (TODS), 10(2):230-260, 1985.
• An implementation model of rendezvous communication. Luca Cardelli.
  • ©1985 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. [@Springer] [US.pdf]
  • Technical Memorandum TM-11271-841101-13, AT&T Bell Laboratories, 1984.
  1984
• Compiling a functional language. Luca Cardelli.
  • ©1984 Proc. ACM Symposium on Lisp and Functional Programming, 1984. [US.pdf]
  1983
• Stream Input/Output. Luca Cardelli.
  • ©1983 Polymorphism, The ML/LCF/Hope Newsletters, Vol I, Number 3, December 1983.
• ML under Unix. Luca Cardelli.
  • ©1983 Polymorphism, The ML/LCF/Hope Newsletters, Vol I, Number 3, December 1983.
• The Functional Abstract Machine. Luca Cardelli.
  • Reprint. Polymorphism, the ML/LCF/Hope Newsletter, Vol I, Number 1, 1983.
  • ©1983 Technical Report TR-107, AT&T Bell Laboratories, April 1983.
  • Technical Memorandum TM-83-11271-1, Bell Laboratories, March 10, 1983.
  1982
• Polymorphism - The ML/LCF/Hope Newsletter. Luca Cardelli, David MacQueen (Eds.)
  • ©1982-1985 I.0 , I.1 , I.2 , I.3 , II.1 , II.2 .
• Two-dimensional syntax for functional languages. Luca Cardelli.
  • ©1982 Pierpaolo Degano and Erik Sandewall, editors, Integrated Interactive Computing Systems. Proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82, Strresa, Italy, 1-3 September, 1982. North Holland, ISBN 0-444-86595-0, 1983. pp 139-151.
• An Algebaic Approach to Hardware Description and Verification. Luca Cardelli.
  • ©1982 PhD Thesis, University of Edinburgh, Department of Computer Science, April 1, 1982.
  1981
• An algebraic approach to VLSI design. Luca Cardelli and Gordon D. Plotkin.
  • ©1981 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.
• Sticks&Stones: An Applicative VLSI Design Language. Luca Cardelli.
  • ©1981 Internal Report CSR-85-81, University of Edinburgh, Department of Computer Science, July 1981.
  1978
• Multiprocessing implementation of a high-level machine language. Luca Cardelli, Gianfranco Prini, and Marco Vanneschi.
  • ©1978 Rivista di Informatica, Vol VIII, n. 4, October-December 1978.

User Interfaces

1988
• Building user interfaces by direct manipulation. Luca Cardelli.
  • ©1988 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.
  • ©1987 SRC Research Report 22, Digital Equipment Corporation Systems Research Center, October 2, 1987. [@SRC]
  • ©1987   Videotape Demo, Digital Equipment Corporation Systems Research Center, July, 1987.
  • ©1987 VBT Toolkit.
  1985
• Crabs: the bitmap terror. Luca Cardelli.
  • ©1985 Technical Memorandum TM 11271-850701-10, AT&T Bell Laboratories. 1985.
  • History and Screen Dumps.
  • Also featured in: A.K.Dewdney. At Bell Labs work is play and terminal diseases are benign. Computer Recreations, Scientific American, Sept. 1985, 18-24.

Other bibliographies for my papers.
See the DBPL bibliography server, and The Collection of Computer Science Bibliographies and CiteSeer 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 (deprecated); "@..." official version at publisher's site.

1. BioAmbients: An Abstraction for Biological Compartments. Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro.
   • Theoretical Computer Science, Special Issue on Computational Methods in Systems Biology. Elsevier. To Appear (available online from Elsevier Articles in Press) ©2004 Elsevier
2. A Spatial Logic for Concurrency. Luís Caires and Luca Cardelli.
   • (Part I) 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. ©2001 Springer
   • (Part II) Lubos Brim, Petr Jancar, Mojmir Kretinsky Antonin Kucera (Eds.). CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 2002, Proceedings. Lecture Notes in Computer Science 2421, Springer, 2002, ISBN 3-540-44043-7. pp 209-225. ©2002 Springer
3. Anytime, Anywhere. Modal Logics for Mobile Ambients. Luca Cardelli and Andrew D. Gordon.
   • Proceedings of the 27th ACM Symposium on Principles of Programming Languages, 2000. pp 365-377. ©2000 ACM
4. Wide Area Computation. Luca Cardelli.
   • 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.©1999 Springer
5. Mobile Ambients. Luca Cardelli and Andrew D. Gordon.
   • Theoretical Computer Science, Special Issue on Coordination, D. Le Métayer Editor.Vol 240/1, June 2000. pp 177-213. ©2000 Elsevier
   • Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, Vol. 1378, Springer, 1998. pp. 140-155.
6. A Query Language Based on the Ambient Logic. Luca Cardelli, Giorgio Ghelli.
   • 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..  ©2001 Springer
7. A theory of objects. Martín Abadi and Luca Cardelli.
   • Book. Springer, 1996.
8. An extension of system F with subtyping. Luca Cardelli, John C. Mitchell, Simone Martini, and Andre Scedrov.
   • Information and Computation, 109(1/2):4-56, February 1994. ©1994 AcademicPress
9. Subtyping recursive types. Roberto M. Amadio and Luca Cardelli.
   • ACM Transactions on Programming Languages and Systems, 15(4):575-631, 1993. ©1993 ACM
10. Operations on records. Luca Cardelli and John C. Mitchell.  
    • Reprint. In Theoretical Aspects of Object-Oriented Programming, MIT Press, 1994. ©1994 MIT Press
    • Mathematical Structures in Computer Science, 1(1):3-48, March 1991.
11. On understanding types, data abstraction, and polymorphism. Luca Cardelli and Peter Wegner.
    • Computing Surveys, 17(4):471-522, 1985. ©1985 ACM
12. A semantics of multiple inheritance. Luca Cardelli.  
    • 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
    • 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. Analog processes. Luca Cardelli.
    • 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
14. A language with distributed scope. Luca Cardelli.
    • Computing Systems, 8(1):27-59, January 1995. ©1995 USENIX
15. [Modula-3] Language definition. Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson.
    • Greg Nelson, Ed., System Programming with Modula-3. Prentice Hall, ISBN 0-13-590464-1.1991. Chapter 2, pp 11-66.
16. Typeful programming. Luca Cardelli.
    • 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
17. Amber. Luca Cardelli.
    • 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
18. Galileo: a strongly typed, interactive, conceptual language. Antonio Albano, Luca Cardelli, and Renzo Orsini.
    • ACM Transactions on Database Systems (TODS), 10(2):230-260, 1985. ©1985 ACM
19. Compiling a functional language. Luca Cardelli.
    • Proc. ACM Symposium on Lisp and Functional Programming, 1984. ©1984 ACM
20. Building user interfaces by direct manipulation. Luca Cardelli.
    • 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
    • SRC Research Report 22, Digital Equipment Corporation Systems Research Center, October 2, 1987.

• Genetic Networks in BioSpi. L.Cardelli (2004) [A4.pdf]
  • Coding genetic gates in Stochastic pi-Calculus.
• A Commitment Relation for the Ambient Calculus. L.Cardelli, Andrew D. Gordon (2000) [A4.pdf]
  • A labeled-transition version of the Ambient Calculus semantics.
• Mobile Ambient Synchronization. L.Cardelli (1997) [US.pdf] [A4.pdf]
  • The Ambit algorithm for shared-memory synchronization.
• Subtyping Recursive Types Algorithm. L.Cardelli (1984-1993) [.txt]
  • The Amber algorithm for subtyping recursive types, simplified and coded in Modula-3.
• Types for the Scott Numerals. M.Abadi, L.Cardelli, G.Plotkin (1993) [US.ps] [US.pdf]
  • Using recursive types and universal quatifiers to type the Scott Numerals.
• Methods in Structures. L.Cardelli (1993) [US.ps] [US.pdf]
  • How to add methods to the Harper-Lillibridge translucent structures.
• The Quest Language and System. L.Cardelli (1991)) [US.ps] [US.pdf]
  • The Quest manual.
• Notes on FOmegaSub. L.Cardelli (1990) [US.ps] [US.pdf]
  • A formalization of a higher-order system with subtyping. It treats PowerKinds, pointwise subtyping of operators, and monotonic and antimonotonic operators. A proof that the pairing operator is monotonic is included.
  • Slides version (1991): [pdf]
  • Reformatted version (1994): [US.ps] [US.pdf]