publications:
- title: "A Per Model of Polymorphism and Recursive Types"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1990"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AbadiP90"
  cites: 0
  citedby: 0
  pages: "355-365"
  booktitle: "Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "AbadiP90"
- title: "Computing Symbolic Models for Verifying Cryptographic Protocols"
  author:
  - name: "Marcelo P. Fiore"
    link: "https://researchr.org/alias/marcelo-p.-fiore"
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  year: "2001"
  doi: "http://csdl.computer.org/comp/proceedings/csfw/2001/1146/00/11460160abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/csfw/2001/1146/00/11460160abs.htm"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/FioreA01"
  cites: 0
  citedby: 0
  pages: "160-173"
  booktitle: "14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 11-13 June 2001, Cape Breton, Nova Scotia, Canada"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1146-5"
  kind: "inproceedings"
  key: "FioreA01"
- title: "Leslie Lamport s properties and actions"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/383962.383973"
  links:
    doi: "http://doi.acm.org/10.1145/383962.383973"
  researchr: "https://researchr.org/publication/Abadi01"
  cites: 0
  citedby: 0
  pages: "15"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "Abadi01"
- title: "Dynamic Typing in a Statically Typed Language"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Luca Cardelli"
    link: "http://lucacardelli.name"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1991"
  doi: "http://doi.acm.org/10.1145/103135.103138"
  links:
    doi: "http://doi.acm.org/10.1145/103135.103138"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/AbadiCPP91"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "13"
  number: "2"
  pages: "237-268"
  kind: "article"
  key: "AbadiCPP91"
- title: "Explicit Substitutions"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Luca Cardelli"
    link: "http://lucacardelli.name"
  - name: "Pierre-Louis Curien"
    link: "https://researchr.org/alias/pierre-louis-curien"
  - name: "Jean-Jacques Lévy"
    link: "https://researchr.org/alias/jean-jacques-l%C3%A9vy"
  year: "1990"
  researchr: "https://researchr.org/publication/AbadiCCL90"
  cites: 0
  citedby: 0
  pages: "31-46"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "AbadiCCL90"
- title: "A Calculus for Access Control in Distributed Systems"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Michael Burrows"
    link: "https://researchr.org/alias/michael-burrows"
  - name: "Butler W. Lampson"
    link: "https://researchr.org/alias/butler-w.-lampson"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1993"
  doi: "http://doi.acm.org/10.1145/155183.155225"
  links:
    doi: "http://doi.acm.org/10.1145/155183.155225"
  tags:
  - "control systems"
  - "access control"
  researchr: "https://researchr.org/publication/AbadiBLP93"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "15"
  number: "4"
  pages: "706-734"
  kind: "article"
  key: "AbadiBLP93"
- title: "A Theory of Objects"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Luca Cardelli"
    link: "http://lucacardelli.name"
  year: "1996"
  month: "April"
  abstract: "Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming."
  tags:
  - "programming languages"
  - "object-oriented programming"
  - "semantics"
  - "rule-based"
  - "meta programming"
  - "formal semantics"
  - "rules"
  - "subtyping"
  - "programming"
  - "subject-oriented programming"
  - "type theory"
  - "Meta-Environment"
  - "systematic-approach"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/abadi%3Atheoryofobjects"
  cites: 0
  citedby: 0
  series: "Monographs in Computer Science"
  publisher: "Springer"
  isbn: "0387947752"
  kind: "book"
  key: "abadi:theoryofobjects"
- title: "On SDSI s Linked Local Name Spaces"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  year: "1998"
  researchr: "https://researchr.org/publication/Abadi98%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Computer Security"
  volume: "6"
  number: "1-2"
  pages: "3-22"
  kind: "article"
  key: "Abadi98:0"
- title: "An Imperative Object Calculus (Invited Paper)"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Luca Cardelli"
    link: "http://lucacardelli.name"
  year: "1995"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/AbadiC95%3A0"
  cites: 0
  citedby: 0
  journal: "TAPOS"
  volume: "1"
  number: "3"
  pages: "151-166"
  kind: "article"
  key: "AbadiC95:0"
- title: "Authentication and Delegation with Smart-cards"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Michael Burrows"
    link: "https://researchr.org/alias/michael-burrows"
  - name: "C. Kaufman"
    link: "https://researchr.org/alias/c.-kaufman"
  - name: "Butler W. Lampson"
    link: "https://researchr.org/alias/butler-w.-lampson"
  year: "1991"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/AbadiBKL91"
  cites: 0
  citedby: 0
  pages: "326-345"
  booktitle: "Theoretical Aspects of Computer Software, International Conference TACS  91, Sendai, Japan, September 24-27, 1991, Proceedings"
  editor:
  - name: "Takayasu Ito"
    link: "https://researchr.org/alias/takayasu-ito"
  - name: "Albert R. Meyer"
    link: "https://researchr.org/alias/albert-r.-meyer"
  volume: "526"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54415-1"
  kind: "inproceedings"
  key: "AbadiBKL91"
- title: "A Bisimulation Method for Cryptographic Protocols"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Andrew D. Gordon"
    link: "http://research.microsoft.com/en-us/um/people/adg/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1381/13810012.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1381/13810012.htm"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/AbadiG98"
  cites: 0
  citedby: 0
  pages: "12-26"
  booktitle: "Programming Languages and Systems - ESOP 98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings"
  editor:
  - name: "Chris Hankin"
    link: "https://researchr.org/alias/chris-hankin"
  volume: "1381"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64302-8"
  kind: "inproceedings"
  key: "AbadiG98"
- title: "Dynamic Typing in a Statically-Typed Language"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Luca Cardelli"
    link: "http://lucacardelli.name"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  - name: "Gordon D. Plotkin"
    link: "https://researchr.org/alias/gordon-d.-plotkin"
  year: "1989"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/AbadiCPP89"
  cites: 0
  citedby: 0
  pages: "213-227"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "AbadiCPP89"
- title: "Faithful Ideal Models for Recursive Polymorphic Types"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  - name: "Gordon D. Plotkin"
    link: "https://researchr.org/alias/gordon-d.-plotkin"
  year: "1991"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/AbadiPP91"
  cites: 0
  citedby: 0
  journal: "Int. J. Found. Comput. Sci."
  volume: "2"
  number: "1"
  pages: "1-21"
  kind: "article"
  key: "AbadiPP91"
- title: "Subtyping and Parametricity"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Luca Cardelli"
    link: "http://lucacardelli.name"
  year: "1994"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/PlotkinAC94"
  cites: 0
  citedby: 0
  pages: "310-319"
  booktitle: "Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "PlotkinAC94"
- title: "Panel Introduction: Varieties of Authentication"
  author:
  - name: "Roberto Gorrieri"
    link: "https://researchr.org/alias/roberto-gorrieri"
  - name: "Paul F. Syverson"
    link: "https://researchr.org/alias/paul-f.-syverson"
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Riccardo Focardi"
    link: "https://researchr.org/alias/riccardo-focardi"
  - name: "Dieter Gollmann"
    link: "https://researchr.org/alias/dieter-gollmann"
  - name: "Gavin Lowe"
    link: "https://researchr.org/alias/gavin-lowe"
  - name: "Catherine Meadows"
    link: "https://researchr.org/alias/catherine-meadows"
  year: "1998"
  doi: "http://dlib.computer.org/conferen/csfw/8488/pdf/84880079.pdf"
  links:
    doi: "http://dlib.computer.org/conferen/csfw/8488/pdf/84880079.pdf"
  researchr: "https://researchr.org/publication/GorrieriSAFGLM98"
  cites: 0
  citedby: 0
  pages: "79-82"
  booktitle: "CSFW"
  kind: "inproceedings"
  key: "GorrieriSAFGLM98"
- title: "Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Phillip Rogaway"
    link: "https://researchr.org/alias/phillip-rogaway"
  year: "2002"
  doi: "http://link.springer.de/link/service/journals/00145/contents/01/0014/"
  links:
    doi: "http://link.springer.de/link/service/journals/00145/contents/01/0014/"
  researchr: "https://researchr.org/publication/AbadiR02"
  cites: 0
  citedby: 0
  journal: "J. Cryptology"
  volume: "15"
  number: "2"
  pages: "103-127"
  kind: "article"
  key: "AbadiR02"
- title: "Faithful Ideal Models for Recursive Polymorphic Types"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  year: "1989"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/AbadiPP89"
  cites: 0
  citedby: 0
  pages: "216-225"
  booktitle: "Proceedings, Fourth Annual Symposium on Logic in Computer Science, 5-8 June, 1989, Asilomar Conference Center, Pacific Grove, California, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "AbadiPP89"
- title: "Formal security analysis of basic network-attached storage"
  author:
  - name: "Avik Chaudhuri"
    link: "https://researchr.org/alias/avik-chaudhuri"
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1103576.1103583"
  links:
    doi: "http://doi.acm.org/10.1145/1103576.1103583"
  tags:
  - "analysis"
  - "security"
  researchr: "https://researchr.org/publication/ChaudhuriA05"
  cites: 0
  citedby: 0
  pages: "43-52"
  booktitle: "Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005"
  editor:
  - name: "Vijay Atluri"
    link: "https://researchr.org/alias/vijay-atluri"
  - name: "Pierangela Samarati"
    link: "https://researchr.org/alias/pierangela-samarati"
  - name: "Ralf Küsters"
    link: "https://researchr.org/alias/ralf-k%C3%BCsters"
  - name: "John C. Mitchell"
    link: "https://researchr.org/alias/john-c.-mitchell"
  publisher: "ACM"
  isbn: "1-59593-231-3"
  kind: "inproceedings"
  key: "ChaudhuriA05"
- title: "A Model of Dynamic Separation for Transactional Memory"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Tim Harris"
    link: "https://researchr.org/alias/tim-harris"
  - name: "Katherine F. Moore"
    link: "https://researchr.org/alias/katherine-f.-moore"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-85361-9_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85361-9_5"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AbadiHM08"
  cites: 0
  citedby: 0
  pages: "6-20"
  booktitle: "CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings"
  editor:
  - name: "Franck van Breugel"
    link: "https://researchr.org/alias/franck-van-breugel"
  - name: "Marsha Chechik"
    link: "https://researchr.org/alias/marsha-chechik"
  volume: "5201"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85360-2"
  kind: "inproceedings"
  key: "AbadiHM08"
- title: "Secure Network Objects"
  author:
  - name: "Leendert van Doorn"
    link: "https://researchr.org/alias/leendert-van-doorn"
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Michael Burrows"
    link: "https://researchr.org/alias/michael-burrows"
  - name: "Edward Wobber"
    link: "https://researchr.org/alias/edward-wobber"
  year: "1996"
  doi: "http://dx.doi.org/10.1109/SECPRI.1996.502683"
  links:
    doi: "http://dx.doi.org/10.1109/SECPRI.1996.502683"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DoornABW96"
  cites: 0
  citedby: 0
  pages: "211-221"
  booktitle: "1996 IEEE Symposium on Security and Privacy, May 6-8, 1996, Oakland, CA, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-7417-2"
  kind: "inproceedings"
  key: "DoornABW96"
- title: "A Logic of Object-Oriented Programs"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "K. Rustan M. Leino"
    link: "https://researchr.org/alias/k.-rustan-m.-leino"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2772&spage=11"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2772&spage=11"
  tags:
  - "object-oriented programming"
  - "meta programming"
  - "logic programming"
  - "subject-oriented programming"
  - "logic"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/AbadiL03"
  cites: 0
  citedby: 0
  pages: "11-41"
  booktitle: "Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday"
  editor:
  - name: "Nachum Dershowitz"
    link: "https://researchr.org/alias/nachum-dershowitz"
  volume: "2772"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21002-4"
  kind: "inproceedings"
  key: "AbadiL03"
- title: "Secure Circuit Evaluation"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Joan Feigenbaum"
    link: "https://researchr.org/alias/joan-feigenbaum"
  year: "1990"
  researchr: "https://researchr.org/publication/AbadiF90"
  cites: 0
  citedby: 0
  journal: "J. Cryptology"
  volume: "2"
  number: "1"
  pages: "1-12"
  kind: "article"
  key: "AbadiF90"
- title: "Formal Eavesdropping and Its Computational Interpretation"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Jan Jürjens"
    link: "https://researchr.org/alias/jan-j%C3%BCrjens"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2215/22150082.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2215/22150082.htm"
  researchr: "https://researchr.org/publication/AbadiJ01"
  cites: 0
  citedby: 0
  pages: "82-94"
  booktitle: "Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings"
  editor:
  - name: "Naoki Kobayashi"
    link: "https://researchr.org/alias/naoki-kobayashi"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  volume: "2215"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42736-8"
  kind: "inproceedings"
  key: "AbadiJ01"
- title: "The Geometry of Optimal Lambda Reduction"
  author:
  - name: "Georges Gonthier"
    link: "https://researchr.org/alias/georges-gonthier"
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Jean-Jacques Lévy"
    link: "https://researchr.org/alias/jean-jacques-l%C3%A9vy"
  year: "1992"
  researchr: "https://researchr.org/publication/GonthierAL92%3A0"
  cites: 0
  citedby: 0
  pages: "15-26"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "GonthierAL92:0"
- title: "Reasoning about Cryptographic Protocols in the Spi Calculus"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Andrew D. Gordon"
    link: "http://research.microsoft.com/en-us/um/people/adg/"
  year: "1997"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/AbadiG97%3A0"
  cites: 0
  citedby: 0
  pages: "59-73"
  booktitle: "CONCUR  97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings"
  editor:
  - name: "Antoni W. Mazurkiewicz"
    link: "https://researchr.org/alias/antoni-w.-mazurkiewicz"
  - name: "Józef Winkowski"
    link: "https://researchr.org/alias/j%C3%B3zef-winkowski"
  volume: "1243"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63141-0"
  kind: "inproceedings"
  key: "AbadiG97:0"
- title: "A Logic for Parametric Polymorphism"
  author:
  - name: "Gordon D. Plotkin"
    link: "http://homepages.inf.ed.ac.uk/gdp/"
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  year: "1993"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/PlotkinA93"
  cites: 0
  citedby: 0
  pages: "361-375"
  booktitle: "Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA  93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings"
  editor:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  volume: "664"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56517-5"
  kind: "inproceedings"
  key: "PlotkinA93"
- title: "Decomposing Specifications of Concurrent Systems"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Leslie Lamport"
    link: "https://researchr.org/alias/leslie-lamport"
  year: "1994"
  researchr: "https://researchr.org/publication/AbadiL94%3A1"
  cites: 0
  citedby: 0
  pages: "327-340"
  booktitle: "Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET  94) San Miniato, Italy, 6-10 June, 1994"
  editor:
  - name: "Ernst-Rüdiger Olderog"
    link: "https://researchr.org/alias/ernst-r%C3%BCdiger-olderog"
  volume: "A-56"
  series: "IFIP Transactions"
  publisher: "North-Holland"
  isbn: "0-444-82020-5"
  kind: "inproceedings"
  key: "AbadiL94:1"
- title: "Dynamic Typing in Polymorphic Languages"
  author:
  - name: "Martín Abadi"
    link: "http://users.soe.ucsc.edu/~abadi/home.html"
  - name: "Luca Cardelli"
    link: "http://lucacardelli.name"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  - name: "Didier Rémy"
    link: "https://researchr.org/alias/didier-r%C3%A9my"
  year: "1995"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/AbadiCPR95"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "5"
  number: "1"
  pages: "111-130"
  kind: "article"
  key: "AbadiCPR95"