%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%                                                                       %%
%%                   Benjamin Pierce's Bibliography                      %%
%%                                                                       %%
%%       on programming language semantics, type systems, types          %%
%%       for objects, process calculi, and concurrent languages          %%
%%                                                                       %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Some special fields:
%     checked     Set to "yes" or a date if the citation has been
%                 checked against a physical copy of the document
%     fullauthor  Present in some cases where the author's name appears in
%                 abbreviated form on the actual document, but where
%                 I happened to know their full name.  The portion of
%                 the name that does not appear on the document is
%                 placed in square brackets, following standard
%                 practice in some publishing houses.
%     fulleditor  Similar.


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%                       String Definitions                         %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@string          {springer= {Springer-Verlag}}
@string          {jlp   = {Journal of Logic Programming}}
@string          {CCL={Constraints in Computational Logics}}
@string          (Springer = "Springer-Verlag")
@string          (CACM = "Communications of the ACM")
@string          (LNCS = "Lecture Notes in Computer Science")
@string          (LNM = "Lecture Notes in Mathematics")
@string          (GTM = "Graduate Texts in Mathematics")
@string          (JACM = "Journal of the ACM")
@string          (TCS = "Theoretical Computer Science")
@string          (JSL = "Journal of Symbolic Logic")
@string          (SIAMJC = "SIAM Journal on Computing")
@string          (TOPLAS = "ACM Transactions on Programming Languages 
                  and Systems")
@string          (OOPSLA = "Object Oriented Programing: Systems, Languages, 
                  and Applications (OOPSLA)")
@string          (POPL = "ACM Symposium on Principles of 
                  Programming Languages (POPL)")
@string          (LICS = "Symposium on Logic in Computer Science (LICS)")
@string          (LFCS="Laboratory for Foundations of Computer
                  Science, University of Edinburgh")
@string          (proc = "Proceedings of the")
@string          (ic = "Information and Computation")
@string          (jfp = "Journal of Functional Programming")
@string          {ap="Academic Press"}
@string          {cup="Cambridge University Press"}
@string          {mcgh="McGraw-Hill"}
@string          {nh="North Holland"}
@string          {sv="Springer Verlag"}
@string          {aw="Addison-Wesley"}
@string          {ph="Prentice Hall"}
@string          {mp="The {MIT} {P}ress"}
@string          {sad="Davide Sangiorgi"}
@string          {taoop="Carl A. Gunter and John C. Mitchell,
                  editors, {\em Theoretical Aspects of Object-Oriented
                  Programming: Types, Semantics, and Language Design}
                  (MIT Press, 1994)"}
@string          {fpca = "Functional Programming Languages and 
                  Computer Architecture"}
@string          (Springer = "Springer-Verlag")
@string          (LNCS = "Lecture Notes in Computer Science")
@string          (LNM = "Lecture Notes in Mathematics")
@string          (GTM = "Graduate Texts in Mathematics")
@string          (JACM = "Journal of the ACM")
@string          (TCS = "Theoretical Computer Science")
@string          (mscs = "Mathematical Structures in Computer Science")
@string          (SIAMJC = "SIAM Journal on Computing")
@string          {TLCA = "Typed Lambda Calculi and Applications (TLCA)"}
@string          (yes = "Yes")
@string          (no = "No")



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%                     BCP's papers and talks                       %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@incollection    {Pierce95a,
author       =   "Benjamin C. Pierce",
title        =   "Foundational Calculi for Programming Languages",
booktitle    =   "Handbook of Computer Science and Engineering",
chapter      =   "139",
publisher    =   "CRC Press",
year         =   "1996",
editor       =   "Allen B. Tucker",
note         =   "To appear",
}

@misc            (Pierce:fomega,
author       =   "Benjamin C. Pierce" ,
title        =   "{\sc F-Omega-Sub}: a polymorphic $\lambda$-calculus with 
                  higher-order subtyping and object-oriented extensions",  
year         =   "1993",
note         =   "Available by anonymous FTP from {\tt pub/bcp} on
                  {\tt ftp.dcs.ed.ac.uk}." 
)

@misc            (Pierce:fmeet,
author       =   "Benjamin C. Pierce" ,
title        =   "{\sc Fmeet}: a polymorphic $\lambda$-calculus with 
                  intersection types",  
year         =   "1991",
note         =   "Available by anonymous FTP from {\tt pub/bcp} on
                  {\tt ftp.dcs.ed.ac.uk}." 
)

@misc            (Pierce:JFLA-talk,
author       =   "Benjamin C. Pierce" ,
title        =   "Typage des Traits Orient\'es-Objets",  
month        =   feb,
year         =   "1993",
note         =   "Invited lecture at {\em Journe\'s Francophones
                  des Langages Applicatifs}, Annecy, France",
)

@misc            (Pierce:artemis,
author       =   "Benjamin C. Pierce" ,
title        =   "{\sc Artemis}: a graphics editor for circuit diagrams", 
year         =   "1986",
note         =   "Used internally at DEC Western Research Lab for the
                  design of the {\sc Titan} processor and power/packaging" 
)

@misc            (Pierce:gridapple,
author       =   "Benjamin C. Pierce" ,
title        =   "{\sc Gridapple}: an implementation of the {\sc ESRI}
                  {\sc Grid} system for the {Apple-II}", 
year         =   "1981",
note         =   "Marketed by Environmental Systems
                  Research Institute, Redlands, CA" 
)

@misc            (Pierce:arcinfo,
author       =   "Benjamin C. Pierce" ,
title        =   "{\sc Arc-Info} plotting and display subsystem", 
year         =   "1982",
note         =   "Marketed by Environmental Systems
                  Research Institute, Redlands, CA, USA" 
)

@article         (PierceSteffen95,
author       =   "Benjamin Pierce and Martin Steffen" ,
title        =   "Higher-Order Subtyping", 
year         =   1996,
journal      =   "Theoretical Computer Science",
note         =   "To appear.
                  A preliminary version appeared in 
                  IFIP Working Conference on
                  Programming Concepts, Methods and Calculi
                  (PROCOMET), June 1994, and as 
                  University of
                  Edinburgh technical report ECS-LFCS-94-280 and
                  {Universit\"at Erlangen-N\"urnberg Interner Bericht
                  IMMD7-01/94}, January 1994." 
)

@unpublished     (OnBinaryMethods,
author       =   "Kim Bruce and Luca Cardelli and Giuseppe Castagna
                  and the Hopkins Objects Group (Jonathan Eifrig,
                  Scott Smith, Valery Trifonov) and Gary Leavens and
                  Benjamin Pierce" , 
title        =   "On Binary Methods", 
year         =   1995,
note         =   "Submitted for publication.  Available electronically
                  and as a technical report from LIENS, DEC SRC, and
                  Iowa State", 
)

@inproceedings   (PierceTurner94:COPC,
author       =   "Benjamin C. Pierce and David N. Turner" ,
title        =   "Concurrent Objects in a Process Calculus", 
booktitle    =   "Theory and Practice of Parallel Programming (TPPP),
                  Sendai, Japan (Nov.{} 1994)",
editor       =   "Takayasu Ito and Akinori Yonezawa",
year         =   "1995" ,
month        =   apr,
publisher    =   "Springer-Verlag",
series       =   "Lecture Notes in Computer Science",
number       =   "907",
pages        =   "187--215",
)

@misc            (Pierce:COPC-talk,
author       =   "Benjamin C. Pierce" ,
title        =   "Concurrent Objects in a Process Calculus", 
note         =   "Invited lecture at {\em Theory and Practice of Parallel
                  Programming (TPPP)}, Sendai, Japan",
year         =   1994,
month        =   nov,
)

@misc            (Pierce:LinearPiTalk,
author       =   "Benjamin C. Pierce" ,
title        =   "Linearity and the Pi-Calculus", 
note         =   "Invited lecture at {\em Advances in Type Systems
                  for Computation}, Cambridge, England",
year         =   1995,
month        =   aug,
)

@misc            (Pierce:HootsTalk,
author       =   "Benjamin C. Pierce" ,
title        =   "Language Design via Derived Forms", 
note         =   "Invited lecture at {\em Higher-Order Techniques in
                  Operational Semantics}, Cambridge, England",
year         =   1995,
month        =   oct,
)

@misc            (Pierce:HorizonDayTalk,
author       =   "Benjamin C. Pierce" ,
title        =   "Using Types to Compare Objects and {ADT}s", 
note         =   "Invited lecture at {\em Horizon Day}, University of Indiana",
year         =   1995,
month        =   oct,
)

@techreport      (SteffenPierce93:TR,
author       =   "Martin Steffen and Benjamin Pierce" ,
title        =   "Higher-Order Subtyping", 
year         =   "1994" ,
month        =   jan,
institution  =   "LFCS, University of Edinburgh",
number       =   "ECS-LFCS-94-280",
note         =   "Also available as {Universit\"at 
                  Erlangen-N\"urnberg Interner Bericht IMMD7-01/94}.
                  To appear in Theoretical Computer Science."
)

@article         (Pierce94a,
author       =   "Benjamin C. Pierce" ,
title        =   "Woggles from {O}z: {W}riting Interactive Fiction",
note         =   "Full version available electronically", 
journal      =   "Leonardo: Journal of the International Society 
                  for the Arts, Sciences, and Technology",
year         =   "1994"
)

@article         (CompagnoniPierce93,
author       =   "Adriana B. Compagnoni and Benjamin C. Pierce" ,
title        =   "Multiple Inheritance via Intersection Types", 
journal      =   mscs,
year         =   1996,
note         =   "To appear.  
                  Preliminary version available as University of
                  Edinburgh technical report ECS-LFCS-93-275
                  and Catholic University Nijmegen computer
                  science technical report 93-18, Aug. 1993"
)

@inproceedings   (CastagnaPierce93,
author       =   "Giuseppe Castagna and Benjamin Pierce" ,
title        =   "Decidable Bounded Quantification", 
booktitle    =   proc # " Twenty-First " # POPL # ", Portland, Oregon",
publisher    =   "ACM" ,
year         =   1994,
month        =   jan,
)

@inproceedings   (CastagnaPierce95,
author       =   "Giuseppe Castagna and Benjamin Pierce" ,
title        =   "Corrigendum: Decidable Bounded Quantification", 
booktitle    =   proc # " Twenty-Second " # POPL # ", Portland, Oregon",
publisher    =   "ACM" ,
year         =   1995,
month        =   jan,
)

@unpublished     (Pierce:delegation,
author       =   "Benjamin C. Pierce" ,
title        =   "A Model of Delegation Based on Existential Types", 
year         =   "1993" ,
month        =   apr,
note         =   "Available electronically"
)

@unpublished     (NestmannPierce96,
author       =   "Uwe Nestmann and Benjamin C. Pierce" ,
title        =   "Decoding Choice Encodings", 
year         =   "1996" ,
note         =   "To appear"
)

@unpublished     (Pierce:mutable,
author       =   "Benjamin C. Pierce" ,
title        =   "Mutable Objects", 
year         =   "1993" ,
month        =   jun,
note         =   "Draft report; available electronically"
)

@inproceedings   (PierceSangiorgi95,
author       =   "Benjamin Pierce and Davide Sangiorgi",
title        =   "Typing and Subtyping for Mobile Processes", 
booktitle    =   "Logic in Computer Science",                  
year         =   "1993",
note         =   "Full version to appear in {\em Mathematical Structures in
                  Computer Science}, 1996" 
)

@inproceedings   (KobayashiPierceTurner:LinearPi,
author       =   "Naoki Kobayashi and Benjamin C. Pierce and David N. Turner" ,
title        =   "Linearity and the Pi-Calculus",
year         =   "1996" ,
booktitle    =   "{\em Principles of Programming Languages}" 
)

@inproceedings   (PierceRemyTurner93,
author       =   "Benjamin C. Pierce and Didier R\'emy and David N. Turner",
title        =   "A Typed Higher-Order Programming Language Based on 
                  the Pi-Calculus", 
month        =   jul,
year         =   "1993",
booktitle    =   "Workshop on Type Theory and its Application 
                  to Computer Systems, Kyoto University"
)

@misc            (Pierce:Kyoto-talk,
author       =   "Benjamin C. Pierce",
title        =   "A Typed Higher-Order Programming Language Based on 
                  the Pi-Calculus", 
month        =   jul,
year         =   "1993",
note         =   "Invited lecture at {\em Workshop on Type Theory and
                  its Application to Computer Systems}, Kyoto University"
)

@unpublished     (Pierce92g,
author       =   "Benjamin C. Pierce" ,
title        =   "F-Omega-Sub User's Manual, Version 1.4", 
year         =   "1993" ,
month        =   "Feb",
note         =   "Available by FTP as part of the {\tt fomega} implementation"
)

@unpublished     (Pierce93c,
author       =   "Benjamin Pierce" ,
title        =   "Object-Oriented Programming in Typed Lambda-Calculus: 
                  Exercises and Solutions", 
year         =   "1993" ,
month        =   apr,
note         =   "Lecture notes for 1992 Frankische
                  OOrientierungstage, University of Erlangen, Germany
                  (revised version)"
)

@unpublished     (Pierce94b,
author       =   "Benjamin C. Pierce" ,
title        =   "Programming in the Pi-Calculus: {A}n Experiment in
                  Programming Language Design",
year         =   "1995" ,
note         =   "Tutorial notes on the Pict language. 
                  Available electronically" 
)

@unpublished     (PierceTurner:PictDesign,
author       =   "Benjamin C. Pierce and David N. Turner" ,
title        =   "Pict: A Programming Language Based on the Pi-Calculus",
year         =   "1996",
note         =   "To appear",
)

@misc            (PierceTurner:PictCompiler,
author       =   "Benjamin C. Pierce and David N. Turner" ,
title        =   "Pict: A Programming Language Based on the Pi-Calculus",
year         =   "1995" ,
note         =   "Compiler, documentation, demonstration programs, and
                  standard libraries; available electronically"  
)

@misc            (KobayashiPierceTurner:LinearPiTR,
author       =   "Naoki Kobayashi and Benjamin C. Pierce and David N. Turner" ,
title        =   "Linearity and the Pi-Calculus",
year         =   "1995" ,
note         =   "Technical report, Department of Information Science,
                  University of Tokyo and Computer Laboratory,
                  University of Cambridge", 
)

@unpublished     (PierceTurner:PictDefn,
author       =   "Benjamin C. Pierce and David N. Turner" ,
title        =   "Pict Language Definition",
year         =   "1995" ,
note         =   "Draft report; available electronically" 
)

@unpublished     (PierceTurner:PictLib,
author       =   "Benjamin C. Pierce and David N. Turner" ,
title        =   "Pict Standard Libraries Manual",
year         =   "1995" ,
note         =   "Available electronically" 
)

@article         (GhelliPierce95,
author       =   "Giorgio Ghelli and Benjamin Pierce" ,
title        =   "Bounded Existentials and Minimal Typing", 
year         =   "1995" ,
journal      =   "Theoretical Computer Science",
note         =   "To appear")

@inproceedings   (HofmannPierce94a,
author       =   "Martin Hofmann and Benjamin Pierce" ,
title        =   "Positive Subtyping",
booktitle    =   "Proceedings of Twenty-Second Annual ACM Symposium on
                  Principles of Programming Languages",
year         =   "1995" ,
month        =   jan,
publisher    =   "ACM" ,
pages        =   "186--197",
note         =   "Full version available as University of Edinburgh technical
                  report ECS-LFCS-94-303, September 1994.  To appear
                  in Information and Computation"
)

@techreport      (HofmannPierce94a:TR,
author       =   "Martin Hofmann and Benjamin Pierce" ,
title        =   "Positive Subtyping",
year         =   "1994" ,
month        =   sep,
institution  =   "LFCS, University of Edinburgh",
number       =   "ECS-LFCS-94-303",
)

@article         (HofmannPierce94,
author       =   "Martin Hofmann and Benjamin Pierce" ,
title        =   "A Unifying Type-Theoretic Framework for Objects",
journal      =   jfp,
note         =   "Previous versions appeared in the
                  Symposium on Theoretical Aspects of Computer
                  Science, 1994, (pages 251--262) and, under the title
                  ``An Abstract 
                  View of Objects and Subtyping (Preliminary
                  Report),'' as University of Edinburgh, LFCS
                  technical report ECS-LFCS-92-226, 1992", 
year         =   1995,
)

@techreport      (HofmannPierce92:TR,
author       =   "Martin Hofmann and Benjamin Pierce" ,
title        =   "An Abstract View of Objects and Subtyping 
                  (Preliminary Report)", 
institution  =   "University of Edinburgh, LFCS" ,
type         =   "Technical Report" ,
number       =   "ECS-LFCS-92-226" ,
year         =   "1992" ,
)
% Martin Hofmann and Benjamin Pierce, "An Abstract View of Objects and
% Subtyping (Preliminary Report)."  University of Edinburgh, LFCS
% technical report ECS-LFCS-92-226, 1992.  

@article         (PierceTurner92,
author       =   "Benjamin C. Pierce and David N. Turner" ,
title        =   "Simple Type-Theoretic Foundations 
                  for Object-Oriented Programming",
note         =   "A preliminary version appeared in 
                  Principles of Programming Languages, 1993, and 
                  as University of Edinburgh technical report 
                  ECS-LFCS-92-225, under the title
                  ``Object-Oriented Programming Without Recursive Types''", 
journal      =   "Journal of Functional Programming",
volume       =   4,
number       =   2,
month        =   apr,
pages        =   "207--247",
year         =   "1994"
)
% Benjamin C. Pierce and David N. Turner, "Simple Type-Theoretic
% Foundations for Object-Oriented Programming."  To appear in Journal of
% Functional Programming; a preliminary version appeared in Principles
% of Programming Languages, 1993, and as University of Edinburgh
% technical report ECS-LFCS-92-225, under the title Object-Oriented
% Programming Without Recursive Types.

@inproceedings   (PierceTurner92:POPL,
author       =   "Benjamin C. Pierce and David N. Turner" ,
title        =   "Object-Oriented Programming Without Recursive Types",
booktitle    =   proc # " Twentieth " # POPL,
year         =   "1993" ,
month        =   jan,
)

@techreport      (PierceTurner92b,
author       =   "Benjamin C. Pierce and David N. Turner" ,
title        =   "Statically Typed Friendly Functions via Partially
                  Abstract Types" ,
institution  =   "University of Edinburgh, LFCS" ,
type         =   "Technical Report" ,
number       =   "ECS-LFCS-93-256" ,
month        =   apr ,
year         =   "1993" ,
note         =   "Also available as INRIA-Rocquencourt 
                  Rapport de Recherche No. 1899",
)

@article         (Pierce92b,
author       =   "Benjamin C. Pierce" ,
title        =   "Intersection Types and Bounded Polymorphism" ,
journal      =   mscs,
year         =   1995,
note         =   "To appear.
                  Summary version appeared 
                  in Conference on Typed Lambda Calculi and 
                  Applications, March 1993, pp. 346--360.
                  Preliminary version available as University
                  of Edinburgh technical report ECS-LFCS-92-200.",
ascii        =   {Benjamin C. Pierce, "Intersection Types and 
                  Bounded Polymorphism."
                  Conference on Typed Lambda Calculi and Applications,
                  March, 1993.
                  }
)

@article         (Abadi92,
author       =   "Mart\'{\i}n Abadi and
                  Luca Cardelli and
                  Benjamin Pierce and
                  Didier R\'{e}my" ,
title        =   "Dynamic Typing in Polymorphic Languages" ,
journal      =   "Journal of Functional Programming",
note         =   "To appear; preliminary version in Proceedings of
                  the ACM SIGPLAN Workshop on ML and its Applications,
                  June 1992",
year         =   1995,
)

@unpublished     (Pierce92d,
author       =   "Benjamin C. Pierce and Robert Pollack" ,
title        =   "Higher-Order Subtyping",
year         =   "1992" ,
month        =   aug,
note         =   "Unpublished manuscript"
)

@phdthesis       (PierceThesis,
author       =   "Benjamin C. Pierce",
title        =   "Programming with Intersection Types and Bounded
                  Polymorphism",
school       =   "Carnegie Mellon University" ,
month        =   "December",
year         =   "1991",
note         =   "Available as School of Computer Science technical
                  report CMU-CS-91-205",
ascii        =   {Benjamin C. Pierce, 
                  "Programming with Intersection Types and Bounded 
                  Polymorphism."
                  Ph.D. thesis, Carnegie Mellon University, December, 1991.
                  Available as School of Computer Science technical
                  report CMU-CS-91-205.}
) 

@article         (ABADI91,
author       =   "Mart\'{\i}n Abadi and Luca Cardelli and Benjamin
                  Pierce and Gordon Plotkin" ,
title        =   "Dynamic Typing in a Statically Typed Language" ,
journal      =   "Transactions on Programming Languages and Systems",
publisher    =   "ACM" ,
year         =   1991,
volume       =   13,
number       =   2,
month        =   apr,
pages        =   "237--268",
note         =   "Preliminary version in Proceedings of the Sixteenth 
                  Annual ACM Symposium
                  on Principles of Programming Languages (Austin, 
                  TX), January, 1989")

@article         (ABADI91B,
author       =   "Mart\'{\i}n Abadi and Benjamin Pierce and Gordon Plotkin" ,
title        =   "Faithful Ideal Models for Recursive Polymorphic Types" ,
journal      =   "International Journal of Foundations of Computer Science",
volume       =   2,
number       =   1,
month        =   mar,
year         =   1991,
pages        =   "1--21",
note         =   "Preliminary version in Fourth Annual Symposium on Logic in Computer
                  Science, June, 1989" ,
)

@article         (Pierce92a,
author       =   "Benjamin C. Pierce" ,
title        =   "Bounded Quantification is Undecidable" ,
journal      =   "Information and Computation",
year         =   1994,
volume       =   112,
number       =   1,
pages        =   "131--165",
month        =   jul,
note         =   "Also in~"#taoop#".  A preliminary version
                  appeared in POPL '92",
)

@techreport      (Pierce91b,
author       =   "Benjamin C. Pierce" ,
title        =   "Programming with Intersection Types, Union Types, and 
                  Polymorphism" ,
institution  =   "Carnegie Mellon University" ,
type         =   "Technical Report" ,
number       =   "CMU-CS-91-106" ,
month        =   feb ,
year         =   "1991" ,
)

@book            ( PIERCE91,
author       =   "Benjamin C. Pierce" ,
title        =   "Basic Category Theory for Computer Scientists" ,
year         =   "1991" ,
publisher    =   "The MIT Press",
isbn         =   "0-262-66071-7",
orderinginfo =   "MIT PRESS
                  55 Hayward ST.
                  Cambridge Mass 02142
                  USA
                  800-356-0343",
europeinfo   =   "14 Bloomsbury Square
                  London WC1A 2LP  U.K.
                  Facsimile: 071-404-0601"
)

@inproceedings   (HarperPierce91,
author       =   "Robert Harper and Benjamin Pierce" ,
title        =   "A Record Calculus Based on Symmetric Concatenation" ,
booktitle    =   "Proceedings of the Eighteenth Annual ACM Symposium
                  on Principles of Programming Languages, Orlando FL" ,
publisher    =   "ACM" ,
year         =   1991,
pages        =   "131--142",
month        =   jan,
note         =   "Extended version available as Carnegie Mellon Technical 
                  Report CMU-CS-90-157")

@misc            (Larrabee&82,
author       =   "T. Larrabee and K. McCall and C. Mitchell and B. C. Pierce",
title        =   "Gambit: {A} Video Game Programming Language",
howpublished =   "Project report for Stanford
                  CS-242 (Programming Language Design)",
month        =   "December",
year         =   1982,
note         =   "See also: Larrabee, T. and Mitchell, C.  ``Gambit: A
                  Prototyping Approach to Video Game Design.''
                  IEEE Software, Vol. 1 No. 4, Oct. 1984.")

@inproceedings   (Pierce84,
author       =   "B. C. Pierce",
title        =   "Gridapple: {A} Microcomputer-Based Geographic Information
                  System",
booktitle    =   "Harvard Computer Graphics Week",
month        =   jul, 
year         =   1982,
note         =   "Reprinted in Marble, D., et al, {\em Basic Readings in
                  Geographic Information Systems.}
                  Williamsville, NY: SPAD Systems, Ltd.,  1984")

@inproceedings   (Pierce82,
author       =   "B. C. Pierce",
title        =   "A Microcomputer-Based Geographic Information System",
booktitle    =   "Proceedings of the Seventh West Coast Computer Faire", 
month        =   mar,
year         =   1982)

@techreport      (Habermann&88,
author       =   "A. N. Habermann and Charles Krueger and Benjamin
                  Pierce and Barbara Staudt and John Wenn",
title        =   "Programming with Views",
institution  =   "Carnegie Mellon University, Computer Science Department",
number       =   "CMU-CS-87-177",
month        =   jan,
year         =   "1988")                 

@techreport      ( PIERCE89,
key          =   "Pierce89" ,
author       =   "Benjamin Pierce and Scott Dietzen and Spiro
                  Michaylov" ,
title        =   "Programming in Higher-order Typed Lambda-Calculi" ,
institution  =   "Carnegie Mellon University" ,
type         =   "Technical Report" ,
number       =   "CMU-CS-89-111" ,
month        =   mar ,
year         =   "1989" ,
note         =   "Available through {\tt
                  http://www.cl.cam.ac.uk/users/bcp1000/ftp}" 
                  )

@techreport      ( PIERCE89B,
key          =   "Pierce89b" ,
author       =   "Benjamin Pierce" ,
title        =   "A Decision Procedure for the Subtype Relation on
                  Intersection Types with Bounded Variables" ,
institution  =   "School of Computer Science, Carnegie Mellon
                  University" ,
type         =   "Technical Report" ,
number       =   "CMU-CS-89-169" ,
month        =   sep ,
year         =   "1989" ,
)

@unpublished     ( PIERCE89C,
key          =   "PIERCE89C" ,
author       =   "Benjamin Pierce" ,
title        =   "Bounded Quantification and Intersection Types",
month        =   sep ,
year         =   "1989" ,
note         =   "Thesis proposal (unpublished)"
)

@techreport      (HarperPierce90,
author       =   "Robert W. Harper and Benjamin C. Pierce",
title        =   "Extensible Records Without Subsumption",
institution  =   "School of Computer Science, Carnegie Mellon University",
year         =   "1990",
month        =   "Feburary",
type         =   "Technical Report" ,
number       =   "CMU-CS-90-102")

@unpublished     (Pierce90b,
author       =   "Benjamin C. Pierce",
title        =   "Preliminary Investigation of a Calculus with
                  Intersection and Union Types",
year         =   1990,           
month        =   jun,
note         =   "Unpublished manuscript")


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%                          Concurrency                             %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@inproceedings   {NiehrenPopl:96,
author       =   {Niehren, Joachim},
title        =   {Functional Computation as Concurrent Computation},
booktitle    =   {Principles of Programming Languages},
year         =   1996,
month        =   jan,
}

@inproceedings   {FournetGonthier96,
author       =   {C\'{e}dric Fournet and
                  Georges Gonthier},
title        =   {The Reflexive Chemical Abstract Machine 
                  and the Join-Calculus},
booktitle    =   {Principles of Programming Languages},
year         =   1996,
month        =   jan,
}
                  
@incollection    {Abramsky94,
author       =   "Samson Abramsky",
title        =   "Interaction Categories and 
                  Communicating Sequential Processes",
booktitle    =   "A Classical Mind: Essays in honour of C. A. R. Hoare",
publisher    =   "Prentice Hall International",
editor       =   "A. W. Roscoe",
year         =   1994,
pages        =   "1--16",
source       =   "Abramsky's README",
}

@inproceedings   {Jones93,
author       =   "Cliff B. Jones",
editor       =   "E. Best",
title        =   "A pi-calculus Semantics for an Object-Based Design
                  Notation",
booktitle    =   "Proceedings of CONCUR'93",
series       =   "LNCS 715",
pages        =   "158--172",
publisher    =   "Springer-Verlag",
year         =   "1993",
checked      =   no,
}

@inproceedings   {Walker94,
author       =   "David Walker",
title        =   "Algebraic Proofs of Properties of Objects",
booktitle    =   "Proceedings of European Symposium on Programming",
publisher    =   "Springer-Verlag",
year         =   "1994",
complete     =   "incomplete"
}

@book            {Occam,
author       =   {{INMOS Ltd.}},
key          =   {{INMOS}},
publisher    =   {Prentice-Hall International},
title        =   {{OCCAM} Programming Manual},
year         =   {1984}
}

@techreport      {Ramsey90,
author       =   {Norman Ramsey},
institution  =   {Department of Computer Science, Princeton University},
month        =   apr,
number       =   {{CS--TR--262--90}},
title        =   {Concurrent programming in {ML}},
year         =   {1990}
}

@techreport      {Amadio94,
author       =   {Roberto M. Amadio},
institution  =   {{European Computer-Industry Research Center, GmbH},
                  {M}unich}, 
number       =   {ECRC-TR-3-94},
title        =   {Translating Core Facile},
year         =   {1994},
checked      =   yes,
note         =   "Also available as a technical report from 
                  CRIN(CNRS)-Inria (Nancy)"
}

@techreport      {AmadioPrasad94,
author       =   {Roberto M. Amadio and Sanjiva Prasad},
institution  =   {{European Computer-Industry Research Center, GmbH},
                  {M}unich},
number       =   {ECRC-M2-R10},
title        =   {Localities and Failures},
year         =   {1994}
}

@techreport      {Berthomieu93,
author       =   {Bernard Berthomieu},
institution  =   {{LAAS-CNRS}},
month        =   apr,
number       =   {93133},
title        =   {Programming with behaviours in an {ML} framework. The
                  syntax and semantics of {LCS}}, 
year         =   {1993}
}

@techreport      {Milner93,
author       =   {Robin Milner},
institution  =   LFCS,
month        =   may,
number       =   {{ECS--LFCS--93--264}},
title        =   {Action Structures for the $\pi$-Calculus},
year         =   {1993}
}



@Article{Milner95,
  author =       "Robin Milner",
  title =        "Calculi for Interaction",
  journal =      "Acta Informatica",
  year =         "1995",
  note =         "To appear",
}

@inproceedings   {Halstead85,
author       =   {Robert H. {Halstead, Jr.}},
booktitle    =   {{ACM} Transactions on Programming Languages and Systems},
month        =   oct,
pages        =   {{501--538}},
title        =   {{Multilisp}: A Language for Concurrent Symbolic Computation},
volume       =   {7(4)},
year         =   {1985}
}

@article         {Milner89,
author       =   {Milner, R. and  Parrow, J. and Walker, D.},
title        =   {A Calculus of Mobile Processes ({P}arts {I} and {II})},  
journal      =   ic,
year         =   {1992},
volume       =   {100},
pages        =   {1--77},
source       =   "SAD's bib",
checked      =   no
}

@techreport      (boudol:asynchrony,
author       =   "G{\'e}rard Boudol",
title        =   "Asynchrony and the $\pi$-calculus (Note)",
institution  =   "INRIA Sofia-Antipolis",
year         =   "1992",
type         =   "Rapporte de Recherche",
number       =   "1702",
month        =   may,
source       =   "Nestmann"
)

@inproceedings   (Gay93,
author       =   "Simon J. Gay" ,
title        =   "A Sort Inference Algorithm for the Polyadic $\pi$-Calculus",
booktitle    =   "Proceedings of the Twentieth ACM Symposium on
                  Principles of Programming Languages",
year         =   "1993" ,
month        =   jan,
checked      =   "Yes, but needs page numbers"
)

@book            {Agha86,
author       =   "Gul A. Agha",
title        =   "Actors: a Model of Concurrent Computation in
                  Distributed Systems",
publisher    =   "MIT Press",
address      =   "Cambridge, MA",
year         =   "1986",
isbn         =   "0-262-01092-5",
descriptor   =   "Actor Modell, Kommunikation, Verteiltes System",
annote       =   "Ein Modell zur Beschreibung des Verhaltens verteilter
                  Systeme wird vorgestellt. Die Grundidee ist die
                  asynchrone Kommunikation zwischen sog. {"}Actors{"}.",
                  }

@book            {Francez86,
author       =   "Nissim Francez",
title        =   "Fairness",
publisher    =   "Springer-Verlag",
series       =   "Texts and Monographs in Computer Science",
year         =   "1986",
                  }

@article         {Hewitt77,
author       =   "C. Hewitt",
title        =   "Viewing Control Structures as Patterns of Passing
                  Messages",
journal      =   "Artificial Intelligence",
volume       =   "8",
pages        =   "323--364",
year         =   "1977",
key          =   "refs-bottomup,computers-parallel",
annote         =   "{\it ~\\ Influential description of a method for
                  implementing distributed control structures: the ACTOR
                  paradigm.}",
                  }
                  
@InProceedings{Odersky95,
  author =       "Martin Odersky",
  title =        "Polarized Name Passing",
  series =       "LNCS",
  booktitle =    "Proc. FST \& TCS",
  year =         1995,
  publisher =    "Springer Verlag",
  month =        dec
}

@inproceedings   {vasco:tyco,
author       =   "Vasco T.~Vasconcelos",
title        =   "Typed Concurrent Objects",
booktitle    =   "Proceedings of the Eighth European Conference on
                  Object-Oriented Programming (ECOOP)",
year         =   1994,
                  Editor_ = "Mario Tokoro and Remo Pareschi",
pages        =   "100--117",
volume       =   821,
month        =   Jul,
series       =   LNCS,
publisher    =   SPRINGER,
ftpfrom      =   "ftp.keio.cs.ac.jp:" #
                  "/pub/keio-cs-papers/mt/theory/1994/vasco-ecoop94.dvi.Z"
}
                  
@inproceedings   {OHearnEtAl95,
author       =   "P. W. O'Hearn and M. Takayama and A. J. Power and
                  R. D. Tennent", 
title        =   "Syntactic Control of Interference Revisited",
volume       =   "1",
series       =   "Electronic Notes in Theoretical Computer Science",
booktitle    =   "MFPS XI, conference on
                  Mathematical Foundations of Program Semantics",
year         =   "1995",
month        =   mar,
publisher    =   "Elsevier",                  
}
                  
@inproceedings   {HondaTokoro91,
author       =   "Kohei Honda and Mario Tokoro",
editor       =   "Pierre America",
title        =   "An Object Calculus for Asynchronous Communication",
booktitle    =   "Proceedings of the European Conference on
                  Object-Oriented Programming (ECOOP)",
series       =   "Lecture Notes in Computer Science",
volume       =   512,
check        =   "Vasco says it's pages 141--162; the other reference I got
                  said 133--147!",
publisher    =   "Springer-Verlag, Berlin, Heidelberg, New York,
                  Tokyo",
confaddress  =   "Geneva CH",
year         =   "1991",
}

@incollection    {Boudol85,
author       =   "G\'erard Boudol",
editor       =   "K. Apt",
title        =   "Notes on Algebraic Calculi of Processes",
booktitle    =   "Logics and Models of Concurrent Systems",
year         =   "1985",
note         =   "NATO ISI Series f13",
source       =   "Milner89a (first name filled in by BCP)",
}

@incollection {Papath91,
author       =   "M. Papathomas",
editor       =   "Dennis Tsichritzis",
title        =   "A Unifying Framework for Process Calculus Semantics of
                  Concurrent Object-Based Languages and Features",
booktitle    =   "Object composition Composition d'objets",
publisher    =   "Centre Universitaire d'Informatique, Universite de
                  Geneve",
pages        =   "205--224",
month        =   "[6]",
year         =   "1991",
}

@inproceedings{Papath92b,
author       =   "Michael Papathomas",
editor       =   "M. Tokoro and O. Nierstrasz and P. Wegner",
title        =   "A Unifying Framework for Process Calculus Semantics of
                  Concurrent Object-Oriented Languages",
booktitle    =   "Proceedings of the ECOOP '91 Workshop on Object-Based
                  Concurrent Computing",
series       =   "LNCS 612",
pages        =   "53--79",
publisher    =   "Springer-Verlag",
year         =   "1992",
keywords     =   "olit-obc pcalc osg obc91",
                  }

@inproceedings   {NiePap90,
author       =   "O. Nierstrasz and M. Papathomas",
editor       =   "Norman Meyrowitz",
title        =   "Viewing Objects as Patterns of Communicating Agents",
booktitle    =   "Proceedings of the Conference on Object-Oriented
                  Programming Systems, Languages, and Applications
                  European Conference on Object-Oriented Programming
                  (OOPSLA) (ECOOP)",
pages        =   "38--43",
publisher    =   "ACM Press , New York, NY , USA",
address      =   "Ottawa, ON CDN",
month        =   "[10]",
year         =   "1990",
note         =   "Published as SIGPLAN Notices, volume 25, number 10",
                  }


@inproceedings   {Nierstrasz92,
author       =   "Oscar Nierstrasz",
editor       =   "M. Tokoro and O. Nierstrasz and P. Wegner",
title        =   "Towards an Object Calculus",
booktitle    =   "Proceedings of the ECOOP '91
                  Workshop on Object-Based Concurrent Computing",
series       =   "Lecture Notes in Computer Science number 612",
pages        =   "1--20",
publisher    =   "Springer-Verlag",
year         =   "1992",
}

@inproceedings   (Vasconcelos93,
author       =   "Vasco T. Vasconcelos and Kohei Honda" ,
title        =   "Principal Typing Schemes in a Polyadic Pi-Calculus",
booktitle    =   "Proceedings of CONCUR '93",
year         =   "1993" ,
month        =   jul,
source       =   "Vasconcelos(?) paper bib",
note         =   "Also available as Keio University Report CS-92-004",
)

@article         {Walker-IC95,
author       =   {David Walker},
title        =   {Objects in the $\pi$-calculus},
journal      =   {Information and Computation},
volume       =   {116},
pages        =   {253-271}, 
year         =   {1995},
source       =   "walker.bib, plus first name by bcp"
}

@inproceedings   {Liu-Walker-CAAP95,
author       =   {Xinxin Liu and David Walker},
title        =   {Confluence of processes and systems of objects},
booktitle    =   {Proceedings of CAAP'95},
pages        =   {217-231},
publisher    =   {Springer},
year         =   {1995},
source       =   "walker.bib, plus first names by bcp"
}

@inproceedings   {LiuWalker95a,
author       =   {Xinxin Liu and David Walker},
title        =   {A Polymorphic Type System for the Polyadic $\pi$-Calculus},
booktitle    =   {CONCUR'95: Concurrency Theory},
pages        =   {103-116},
publisher    =   {Springer},
year         =   {1995},
source       =   "Walker",
}

@inproceedings   {Honda93CONCUR,
author       =   "Kohei Honda",
title        =   "Types for Dydadic Interaction",
volume       =   "715",
series       =   "Lecture Notes in Computer Science",
pages        =   "509-523",
booktitle    =   "CONCUR'93",
year         =   "1993",
source       =   "kobayashi",
}
                  
@inproceedings   {Takeuchi&94,
author       =   "Kaku Takeuchi and Kohei Honda and Makoto Kubo",
title        =   "An Interaction-based Language and its Typing
                  System",
booktitle    =   "Proceedings of PARLE'94",
year         =   "1994",
publisher    =   "Springer-Verlag",
note         =   "Lecture Notes in Computer Science number 817",
pages        =   "398--413",
source       =   "Takeuchi email",
}

@techreport      {ParrowSangiorgi93,
author       =   {Parrow, J. and Sangiorgi, D.}, 
title        =   {Algebraic Theories  for Name-Passing Calculi},
institution  =   LFCS,
number       =   { {{ECS}--{LFCS}--93--262}},
note         =   {{To} appear in {\em {I}nformation and {C}omputation}.
                  {S}hort version in  {\em {P}roc.\ {REX} {S}ummer
                  {S}chool/Symposium 1993}, {LNCS} 803, {S}pringer {V}erlag},
year         =   {1993}
}

@phdthesis       {TurnerThesis,
author       =   "David N. Turner",
title        =   "The Polymorphic Pi-calulus: Theory and Implementation",
year         =   "1996",
school       =   "University of Edinburgh",
} 

@misc            {TurnerThesis:old,
author       =   "David N. Turner",
title        =   "The $\pi$-calulus: {T}ypes, Polymorphism and Implementation",
year         =   "1996",
note         =   "Forthcoming Ph.D. thesis, LFCS, University of Edinburgh"
                 } 

@book            {Milner80,
author       =   {Milner, Robin},
publisher    =   sv,
title        =   {A Calculus of Communicating Systems},
year         =   {1980},
series       =   lncs,
volume       =   92,
source       =   sad,
}

@techreport      {Milner92,
author       =   {Milner, Robin},
title        =   {Functions as Processes},
institution  =   {{INRIA}, {S}ofia {A}ntipolis},
year         =   {1990},
type         =   {Research {R}eport 1154},
source       =   sad,
note         =   {Final version in {\em Journal of Mathematical Structures in 
                  Computer Science} 2(2):119--141, 1992 }
}    

@techreport      {Milner91a,
author       =   {Milner, Robin},
institution  =   "Laboratory for Foundations of Computer Science,
                    Department of Computer Science, University of
                    Edinburgh, UK",
month        =   oct,
number       =   { {ECS--LFCS--91--180}},
title        =   {The polyadic $\pi$-calculus: a tutorial},
year         =   {1991},
source       =   sad,
note         =   { {\em {P}roceedings of the {I}nternational
                  {S}ummer {S}chool on {L}ogic and {A}lgebra of
                  {S}pecification}, {M}arktoberdorf, {A}ugust 1991.
                  Reprinted in {\em Logic and Algebra of Specification}, ed.
                  F. L. Bauer, W. Brauer, and H. Schwichtenberg,
                  Springer-Verlag, 1993},
}

@inproceedings   {vanGlabbeek90,
author       =   "R. J. van Glabbeek",
editor       =   "J. C. M. Baeten and J. W. Klop",
title        =   "The Linear Time -- Branching Time Spectrum",
booktitle    =   "Proceedings of CONCUR'90",
series       =   "LNCS 458",
pages        =   "278--297",
publisher    =   "Springer-Verlag",
year         =   "1990",
checked      =   no,
}

@inproceedings   {vanGlabbeek93,
author       =   "R. J. van Glabbeek",
title        =   "The Linear Time -- Branching Time Spectrum {II} (The
                  semantics of sequential systems with silent moves)",
booktitle    =   "Proceedings of CONCUR '93",
pages        =   "66--81",
year         =   "1993",
checked      =   no,
}

@techreport      {Milner92a,
author       =   {Milner, Robin},
institution  =   LFCS,
month        =   dec,
number       =   {{ECS--LFCS--92--249}},
title        =   {Action Structures},
year         =   {1992},
checked      =   yes,
}

@unpublished     {Milner93III,
author       =   "Action Calculi {III}: {H}igher-Order Calculi",
title        =   "Robin Milner",
note         =   "Unpublished note",
year         =   "1993",
month        =   jul
}

@book            {Milner89a,
author       =   {Milner, Robin},
publisher    =   ph,
title        =   {Communication and Concurrency},
year         =   {1989},
source       =   sad,
}

@book            {BaetenWeijlandBook,
author       =   {J. C. M. Baeten and W. P. Weijland},
publisher    =   {Cambridge University Press},
title        =   {Process Algebra},
series       =   "Cambridge Tracts in Theoretical Computer Science 18",
year         =   {1990},
checked      =   yes,
}

@article         {BergstraKlop85,
author       =   "J. A. Bergstra and J. W. Klop",
year         =   "1985",
journal      =   tcs,
number       =   "1",
pages        =   "77--121",
title        =   "Algebra of communicating processes with abstraction",
volume       =   "37",
}

@book            {Hennessy:AlgebraicTheoryOfProcesses,
author       =   {Matthew Hennessey},
publisher    =   {MIT Press},
title        =   {Algebraic Theory of Processes},
year         =   {1988},
checked      =   yes,
}

@book            {Hoare:CSPBook,
author       =   {C. A. R. Hoare},
publisher    =   {Prentice-Hall},
title        =   {Communicating Sequential Processes},
year         =   {1985},
checked      =   yes,
}

@article         {Hoare78:CSP,
author       =   "C. A. R. Hoare",
title        =   "Communicating Sequential Processes",
journal      =   "Communications of the ACM",
volume       =   "21",
number       =   "8",
pages        =   "666--677",
month        =   aug,
year         =   "1978",
note         =   "Reprinted
                  in ``Distributed Computing: Concepts and
                  Implementations'' edited by McEntire, O'Reilly and
                  Larson, IEEE, 1984",
annote       =   "This paper is now expanded into an excellent book
                  detailed by Hoare and published by Prentice-Hall. This
                  paper is reproduced in Kuhn and Padua's (1981, IEEE)
                  survey ``Tutorial on Parallel Processing.'' Reproduced
                  in ``Distributed Computing: Concepts and
                  Implementations'' edited by McEntire, O'Reilly and
                  Larson, IEEE, 1984. Somewhat dated.",
bibsource    =   "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/par.misc.bib",
}

@inproceedings   {MilnerSangiorgi92,
author       =   {Milner, R. and Sangiorgi, D.},
title        =   {Barbed Bisimulation},
booktitle    =   {19th {ICALP}},
year         =   {1992},
series       =   lncs,
volume       =   {623},
pages        =   {685--695},
editor       =   {Kuich, W.},
publisher    =   sv,
source       =   "sad.bib"
}

@inproceedings   {SangiorgiMilner92,
author       =   {Sangiorgi, D. and Milner, R.},
booktitle    =   {Proceedings of {CONCUR} '92},
title        =   {The problem of ``{W}eak {B}isimulation up to''},
publisher    =   sv,
year         =   {1992},
editor       =   {Cleveland, W.R.}, 
volume       =   {630},
pages        =   {32--46}
}

@techreport      {Sangiorgi94b,
author       =   {Sangiorgi, D.},
title        =   {On the bisimulation proof method},
year         =   {1994},
institution  =   LFCS,
number       =   { {ECS--LFCS--94--299}}
}

@phdthesis       {Sangiorgi92,
author       =   {Sangiorgi, Davide},
title        =   {Expressing Mobility in Process Algebras: First-Order and 
                  Higher-Order Paradigms}, 
school       =   {Department of Computer Science, University of Edinburgh},
year         =   {1992},
source       =   sad,
}


@article         {Cleaveland93,
author       =   "Rance Cleaveland and Joachim Parrow and Bernhard
                  Steffen",
title        =   "The {Concurrency Workbench}: {A} Semantics-Based Tool
                  for the Verification of Concurrent Systems",
pages        =   "36--72",
journal      =   toplas,
year         =   "1993",
month        =   jan,
volume       =   "15",
number       =   "1",
}

@article         {Sangiorgi94,
author       =   {Sangiorgi, Davide},
journal      =   ic,
title        =   {The Lazy Lambda Calculus in a Concurrency Scenario},
year         =   {1994},
volume       =   {111},
number       =   {1},
pages        =   {120--153}
}

@techreport      {Sangiorgi93,
author       =   {Sangiorgi, Davide},
title        =   {Locality and Non-interleaving Semantics 
                  in Calculi for Mobile Processes},
note         =   {An extract  appeared in  {\em {P}roc. {TACS} '94},
                  Lecture Notes in Computer Science 789, 
                  Springer Verlag},
institution  =   LFCS,
number       =   { {{ECS}--{LFCS}--94--282}},
year         =   {1994}
}

@techreport{BorealeSangiorgi94,
   author = { Boreale, M. and Sangiorgi, D.},
   title = { A fully abstract semantics for causality in the  $\pi$-calculus},
   year = {1994},
   institution = LFCS,
   number = { {ECS--LFCS--94--297}}
}

@inproceedings   {Sangiorgi93a,
author       =   {Sangiorgi, Davide},
title        =   {An investigation into Functions as Processes},
booktitle    =   {Proc.\  Ninth International Conference on the 
                  {M}athematical {F}oundations of {P}rogramming 
                  {S}emantics  ({MFPS}'93)},
year         =   {1993},
series       =   lncs,
volume       =   {802},
publisher    =   sv,
pages        =   {143--159}
}

@inproceedings   {Berry*:semantics,
author       =   {Dave Berry and Robin Milner and David N. Turner},
booktitle    =   {{ACM} Principles of Programming Languages},
month        =   jan,
title        =   {A semantics for {ML} concurrency primitives},
year         =   {1992},
source       =   "dnt",
}

@techreport      (matthews:distributed,
author       =   "David Matthews",
title        =   "A Distributed Concurrent Implementation of {Standard ML}",
institution  =   "University of Edinburgh",
year         =   "1991",
number       =   "ECS-LFCS-91-174",
month        =   aug,
source       =   "nestmann"
)

@phdthesis       {mitchell:phd,
author       =   "Kevin Mitchell",
title        =   "Implementations of Process Synchronisation and their
                  Analysis",
school       =   "University of Edinburgh",
year         =   "1986",
month        =   jul
}

@misc            {mitchell:PFL,
author       =   "Kevin Mitchell",
title        =   "An {I}ntroduction to {PFL}",
month        =   "December 15--19,",
year         =   "1986",
howpublished =   "In: Foundation of Concurrent Programming, A five day
                  course prepared by the LFCS, University of Edinburgh"
}

@inproceedings   (havelund*:fork,
author       =   "Klaus Havelund and Kim Larsen",
title        =   "The Fork Calculus",
booktitle    =   "20th International Colloquium on 
                  Algebras, Languages and Programming (ICALP)",
year         =   "1993",
publisher    =   "Springer",
note         =   "LNCS",
source       =   "nestmann"
)

@techreport      (thomsen*:issues,
author       =   "Bent Thomsen and Lone Leth and Alessandro Giacalone",
title        =   "Some Issues in the Semantics of Facile Distributed 
                  Programming",
institution  =   "European Computer-Industry Research Centre, Munich",
year         =   "1992",
number       =   "ECRC-92-32",
source       =   "nestmann"
)

@inbook          {GansnerReppy93,
author       =   "Emden R. Gansner and John H. Reppy",
title        =   "A Multi-threaded Higher-order User Interface Toolkit",
booktitle    =   "User Interface Software, Bass and Dewan (Eds.)",
series       =   "Software Trends", volume = 1,
publisher    =   "John Wiley \& Sons",
year         =   1993,
pages        =   "61-80",
source       =   "jhr"
}

@inproceedings   (reppy:TPPP,
author       =   "John H. Reppy" ,
title        =   "First-class Synchronous Operations", 
booktitle    =   "Theory and Practice of Parallel Programming (TPPP),
                  Sendai, Japan (Nov.{} 1994)",
editor       =   "Takayasu Ito and Akinori Yonezawa",
year         =   "1995" ,
month        =   apr,
publisher    =   "Springer-Verlag",
series       =   "Lecture Notes in Computer Science",
number       =   "907",
)

@techreport      (reppy:operational,
author       =   "John Reppy",
title        =   "An Operational Semantics of First-Class Synchronous
                  Operations",
institution  =   "Cornell Unversity",
year         =   "1991",
number       =   "TR 91-1232",
month        =   aug,
source       =   "nestmann"
)

@phdthesis       (reppy:phd,
author       =   "John Reppy",
title        =   "Higher-Order Concurrency",
school       =   "Cornell University",
year         =   "1992",
month        =   jun,
note         =   "Technical Report TR 92-1285",
source       =   "nestmann"
)

@phdthesis       (prasad:phd,
author       =   "Sanjiva Prasad",
title        =   "Towards a Symmetric Integration of Concurrent and
                  Functional Programming",
school       =   "State University of New York",
year         =   "1991",
month        =   dec,
source       =   "nestmann"
)

@techreport      (leth*:chemistry,
author       =   "Lone Leth and Bent Thomsen",
title        =   "Some Facile Chemistry",
institution  =   "European Computer-Industry Research Centre, Munich",
year         =   "1992",
number       =   "ECRC-92-14",
month        =   may,
source       =   "nestmann"
)

@phdthesis       (egger:phd,
author       =   "Gottfried Egger",
title        =   "Integration applikativer und proze{\"s}orientierter
                  Programmierung",
school       =   "Technische Universit{\"a}t Berlin",
year         =   "1991",
month        =   apr,
note         =   "D 83",
source       =   "nestmann"
)
                  
@inproceedings   {giacalone*:facile,
author       =   {Alessandro Giacalone and Prateek Mishra and
                  Sanjiva Prasad},
title        =   {{FACILE}: {A} {S}ymmetric {I}ntegration of
                  {C}oncurrent and {F}unctional {P}rogramming},
booktitle    =   {Theory and Practice of Software Development (TAPSOFT)},
year         =   {1989},
pages        =   {184--209},
publisher    =   {Springer},
note         =   {LNCS 352}
}
                  
@article         {giacalone*:facileJPP,
author       =   {Alessandro Giacalone and Prateek Mishra and
                  Sanjiva Prasad},
title        =   {{Facile}: {A} {S}ymmetric {I}ntegration of
                  {C}oncurrent and {F}unctional {P}rogramming},
journal      =   "International Journal of Parallel Programming",
year         =   "1989",
volume       =   "18",
number       =   "2",
pages        =   "121--160"
}

@inproceedings   {prasad*:facile,
author       =   {Sanjiva Prasad and Alessandro Giacalone and Prateek
                  Mishra},
title        =   {Operational and {A}lgebraic {S}emantics for {F}acile:
                  {A} {S}ymmetric {I}ntegration of {C}oncurrent and
                  {F}unctional {P}rogramming},
booktitle    =   {Automata, Languages and Programming (ICALP)},
year         =   {1990},
pages        =   {765--780},
publisher    =   {Springer},
note         =   {LNCS 443}
}

@techreport      {cooper/morrisett:threads ,
author       =   {Eric Cooper and Gregory Morrisett},
title        =   {Adding {T}hreads to {Standard ML}},
institution  =   {Carnegie-Mellon University},
year         =   {1990},
type         =   {Report},
number       =   {CMU-CS-90-186},
month        =   dec
                  }

@manual          {reppy:CMLmanual,
title        =   {Concurrent {P}rogramming with {E}vents},
author       =   {John Reppy},
organization =   {Cornell University},
month        =   nov,
year         =   {1990},
note         =   {the Concurrent ML Manual (Version 0.9)}
                  }

@inproceedings   {nielson:firstclass,
author       =   {Flemming Nielson},
title        =   {The {T}yped $\lambda$-{C}alculus with {F}irst-{C}lass
                  {P}rocesses},
booktitle    =   {Parallel Architectures and Languages Europe (PARLE)},
year         =   {1989},
pages        =   {357--373},
publisher    =   {Springer},
note         =   {LNCS 366}
                  }

@misc            {Kobayashi95SAS,
author       =   "Naoki Kobayashi and Motoki Nakade and Akinori Yonezawa",
title        =   "Static Analysis of Communication for Asynchronous
                  Concurrent Programming Languages",
howpublished =   "To appear in Proceedings of International Static
                  Analysis Symposium, Springer LNCS",
year         =   "1995",
source       =   "kobayashi",
}

@inproceedings   {NielsonNielson94,
author       =   {Hanne Riis Nielson and Flemming Nielson},
title        =   {Higher-Order Concurrent Programs with Finite
                  Communication Topology},
booktitle    =   {Proceedings of POPL '94: 21st ACM SIGPLAN-SIGACT 
                  Symposium on Principles of Programming Languages,
                  Portland, Oregon},
month        =   Jan,
year         =   {1994},
pages        =   {84--97},
}

@techreport      (holmstrom:PFL,
author       =   "S{\"o}ren Holmstr{\"o}m",
title        =   "{PFL}: A Functional Language for Parallel Programming,
                  and its Implementation",
institution  =   "University of Goteborg and 
                  Chalmers University of Technology",
year         =   "1983",
type         =   "Programming Methodology Group, Report",
number       =   "7",
month        =   sep,
source       =   "nestmann"
)

@inproceedings   (reppy:synchro,
author       =   "John Reppy",
title        =   "Synchronous Operations as First-Class Values",
booktitle    =   "Programming Language Design and Implementation",
year         =   "1988",
pages        =   "250--259",
organization =   "SIGPLAN",
publisher    =   "ACM",
source       =   "nestmann"
)

@inproceedings   (ingolf*:semantic,
author       =   "Anna Ing\'olfsd\'ottir and Bent Thomsen",
title        =   "Semantic Models for {CCS} with Values",
booktitle    =   "Chalmers Workshop on Concurrency",
year         =   "1991",
source       =   "nestmann"
)

@inproceedings   (reppy:CML,
author       =   "John Reppy",
title        =   "{CML}: A Higher-Order Concurrent Language",
booktitle    =   "Programming Language Design and Implementation",
year         =   "1991",
pages        =   "293--259",
organization =   "SIGPLAN",
publisher    =   "ACM",
month        =   jun,
source       =   "nestmann"
)

@techreport      (nestmann*:towards,
author       =   "Uwe Nestmann and L{\'a}szl{\'o} Teleki",
title        =   "Towards a Calculus of Communicating Functions",
institution  =   "Universit{\"a}t Erlangen",
year         =   "1992",
type         =   "Interner Bericht",
number       =   "IMMD7-13/92",
month        =   dec,
source       =   "nestmann"
)

@techreport      {SteffenNestmann95,
author       =   "Martin Steffen and Uwe Nestmann",
title        =   "Typing Confluence",
institution  =   "Informatik VII, Universit{\"a}t Erlangen-N{\"u}rnberg",
year         =   1995,
type         =   "Interner Bericht",
number       =   "IMMD7-xx/95"
}

@techreport      (nestmann*:cham,
author       =   "Uwe Nestmann and L{\'a}szl{\'o} Teleki",
title        =   "A Chemical Abstract Machine for
                  a Calculus of Communicating Functions",
institution  =   "Universit{\"a}t Erlangen",
year         =   "1992",
type         =   "Interner Bericht",
number       =   "IMMD7-14/92",
month        =   dec,
source       =   "nestmann"
)

@article         (thomsen:plain,
author       =   "Bent Thomsen",
title        =   "Plain {CHOCS}. 
                  A Second Generation Calculus for Higher Order Processes",
journal      =   "Acta Informatica",
year         =   "1993",
volume       =   "30",
number       =   "1",
pages        =   "1--59",
source       =   "nestmann"
)
                  
@article         (confer,
author       =   "Jean-Jacques L{\'e}vy and Bent Thomsen and 
                  Lone Leth and Alessandro Giacalone",
title        =   "Esprit Basic Research Action 6454 | CONFER",
journal      =   "EATCS Bulletin",
year         =   "1992",
volume       =   "48",
note         =   "CONcurrency and Functions: Evaluation and Reduction",
pages        =   "88--106",
source       =   "nestmann"
)

@unpublished     (Kobayashi95,
author       =   "Naoki Kobayashi and Aki Yonezawa",
title        =   "Towards Foundations for Concurrent Object-Oriented
                  Programming --- {T}ypes and Language Design",
note         =   "Submitted for publication",
year         =   1994,
)

@inproceedings   (walker:results,
author       =   "David Walker",
title        =   "Some Results on the $\pi$-Calculus",
booktitle    =   "Concurrency: Theory, Languages, and Architecture",
year         =   "1991",
editors      =   "A. Yonezawa and T. Ito",
pages        =   "21--35",
publisher    =   "Springer",
note         =   "UK/Japan Workshop 1989. LNCS 491",
source       =   "nestmann"
)

@inproceedings   {boudol:towards,
author       =   {G{\'e}rard Boudol},
title        =   {Towards a Lambda-Calculus for Concurrent and
                  Communicating Systems},
booktitle    =   {Theory and Practice of Software Development (TAPSOFT)},
year         =   {1989},
pages        =   {149--161},
publisher    =   {Springer},
note         =   {LNCS 351}
}

@inproceedings   (kennaway/sleep:expressions,
author       =   "J. Kennaway and M. Sleep",
title        =   "Expressions as Processes",
booktitle    =   "LISP and Functional Programming",
year         =   "1982",
pages        =   "21--28",
organization =   "ACM",
source       =   "nestmann"
)
                  
@inproceedings   (kennaway/sleep:syntax,
author       =   "J. Kennaway and M. Sleep",
title        =   "Syntax and Informal Semantics of DyNe, a Parallel Language",
booktitle    =   "The Analysis of Concurrent Systems",
year         =   "1983",
pages        =   "222--230",
publisher    =   "Springer",
note         =   "LNCS 207",
source       =   "nestmann"
)

@techreport      (sangiorgi:lazy,
author       =   "Davide Sangiorgi",
title        =   "The Lazy Lambda Calculus in a Concurrency Scenario",
institution  =   "University of Edinburgh",
year         =   "1991",
number       =   "ECS-LFCS-91-189",
month        =   nov,
source       =   "nestmann"
)

@techreport{EngbergNielsen86,
   author = {Engberg, U. and Nielsen, M.},
   title = {A Calculus of Communicating Systems with Label-Passing},
   institution = {Computer Science Department, University of Aarhus, Denmark},
   year = {1986},
      type  = {Report {DAIMI} {PB}-208},
source = "sad.bib"
}

@inproceedings   {KobYon94OOPSLA,
author       =   "Naoki Kobayashi and Akinori Yonezawa",
title        =   "Type-Theoretic Foundations for Concurrent
                  Object-Oriented Programming",
pages        =   "31-45",
booktitle    =   "Proceedings of ACM SIGPLAN Conference on
                  Object-Oriented Programming Systems, Languages, and
                  Applications (OOPSLA'94)",
year         =   "1994",
optannote    =   "",
source       =   "Koba.bib",
}

@article         {KobYon95TAPOS,
author       =   "Naoki Kobayashi and Akinori Yonezawa",
title        =   "Towards Foundations for Concurrent Object-Oriented
                  Programming -- Types and Language Design --",
journal      =   "Theory and Practice of Object Systems, John Wiley \& 
                  Sons",
year         =   "1995",
note         =   "to appear",
source       =   "Koba.bib",
}

@inproceedings   {Abramsky94IC,
author       =   "Samson Abramsky and Simon J. Gay and R. Nagarajan",
title        =   "Interaction Categories and the Foundations of Typed
                  Concurrent Programming",
booktitle    =   "Deductive Program Design: Proceedings of the 1994
                  Marktoberdorf Summer School, NATO ASI Series F",
year         =   "1994",
publisher    =   {Springer-Verlag},
source       =   "Koba.bib",
}

@InProceedings{Gay95LICS,
  author =       "Simon Gay and Rajagopal Nagarajan",
  title =        "A Typed Calculus of Synchronous Processes",
  OPTpages =     "",
  booktitle = "Proceedings of IEEE Symposium on Logic in Computer Science",
  year =         "1995",
  OPTpublisher = "",
  OPTaddress =   "",
  OPTmonth =     "",
  OPTnote =      "",
source       =   "Koba.bib",
  OPTannote =    ""
}

@inproceedings   {KobNakYon95SAS,
author       =   "Naoki Kobayashi and Motoki Nakade and Akinori Yonezawa",
title        =   "Static Analysis of Communication for Asynchronous
                  Concurrent Programming Languages",
volume       =   "983",
series       =   LNCS,
pages        =   "225-242",
booktitle    =   "Second International Static Analysis Symposium (SAS'95)",
year         =   "1995",
publisher    =   Springer,
source       =   "Koba.bib",
}

@inproceedings   {NielsonNielson95,
author       =   "Hanne Riis Nielson and Flemming Nielson",
title        =   "Static and Dynamic Processor Allocation for
                  Higher-Order Concurrent Languages",
volume       =   "915",
series       =   LNCS,
pages        =   "590-604",
booktitle    =   "TAPSOFT'95: Theory and Practice of Software Development",
year         =   "1995",
publisher    =   Springer,
source       =   "Koba.bib",
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%                        Record types                              %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings   (Wand87,
author       =   "Mitchell Wand",
title        =   "Complete type inference for simple objects",
booktitle    =   "Proceedings of the IEEE Symposium on Logic in 
                  Computer Science",
year         =   1987,
address      =   "Ithaca, NY",
month        =   jun,
checked      =   "Not checked",
source       =   "cribbed from Cardelli88a")

@inproceedings   (Wand88a,
author       =   "Mitchell Wand",
title        =   "Corrigendum: Complete Type Inference for Simple Objects",
booktitle    =   "Proceedings of the IEEE Symposium on Logic in 
                  Computer Science",
checked      =   "Not checked",
year         =   1988)

@inproceedings   (Wand89,
author       =   "Mitchell Wand",
title        =   "Type Inference for Record Concatenation and 
                  Multiple Inheritance",
booktitle    =   "Fourth Annual IEEE Symposium on Logic in Computer Science",
year         =   1989,
month        =   jun,
address      =   "Pacific Grove, CA",
pages        =   "92--97")

@phdthesis       (Remy90:Thesis,
author       =   "Didier R{\'{e}}my" ,
title        =   "Alg\`{e}bres Touffues.  {A}pplication au Typage
                  Polymorphe des Objets Enregistrements dans les
                  Langages Fonctionnels",
school       =   "Universit\'{e} Paris VII" ,
year         =   "1990")

@article         (CardelliLongo90,
author       =   "Luca Cardelli and Giuseppe Longo",
title        =   "A semantic basis for {Q}uest",
journal      =   "Journal of Functional Programming",
year         =   "1991",
month        =   oct,
volume       =   "1",
number       =   "4",
pages        =   "417--458",
publisher    =   "Cambridge University Press",
note         =   "Preliminary version in ACM Conference on Lisp and
                  Functional Programming, June 1990. 
                  Also available as DEC SRC Research Report 55, Feb. 1990")

@inproceedings   (OhoriBuneman89:STIPC,
author       =   "Atsushi Ohori and Peter Buneman",
title        =   "Static Type Inference for Parametric Classes",
booktitle    =   "{OOPSLA} '89: {O}bject-Oriented Programming Systems,
                  Languages, and Applications, {C}onference Proceedings", 
month        =   oct,
year         =   "1989",
pages        =   "445--456")

@inproceedings   (OhoriBuneman88:TIDBPL,
author       =   "Atsushi Ohori and Peter Buneman",
title        =   "Type Inference in a Database Programming Language",
booktitle    =   "1988 ACM Conference on Lisp and Functional Programming",
month        =   jul,
year         =   "1988",
comment      =   "The year used to be 1989: this is wrong, no?",
address      =   "Snowbird, Utah",
pages        =   "174--183",
note         =   "Revised manuscript, September, 1988")

@techreport      (Wand89:TR--oldversion,
author       =   "Mitchell Wand",
title        =   "Type Inference for Objects with Instance Variables
                  and Inheritance",
institution  =   "College of Computer Science, Northeastern University",
year         =   "1989",
number       =   "NU-CCS-89-2")

@article         (Cardelli&89,
author       =   "Luca Cardelli and John Mitchell",
title        =   "Operations on Records",
journal      =   "Mathematical Structures in Computer Science",
volume       =   1,
pages        =   "3--48",
year         =   "1991",
note         =   "Also in~"#taoop#"; 
                  available as DEC Systems Research 
                  Center Research Report \#48, August, 1989, and in
                  the proceedings of MFPS '89, Springer LNCS volume 442")

@techreport      (Wand88:TR,
author       =   "Mitchell Wand",
title        =   "Type Inference for Objects with Instance Variables
                  and Inheritance",
institution  =   "College of Computer Science, Northeastern University",
year         =   "1988",
month        =   nov,
number       =   "NU-CCS-89-2",
note         =   "Also in~"#taoop#""
)

@inproceedings   (Bruce91:records,
author       =   "Kim B. Bruce",
title        =   "The Equivalence of Two Semantic Definitions for
                  Inheritance in Object-Oriented Languages",
booktitle    =   "Proceedings of Mathematical Foundations of
                  Programming Semantics",
address      =   "Pittsburgh, PA",
month        =   mar,
year         =   "1991",
checked      =   "needs updated!")

@inproceedings   (FisherMitchell94,
author       =   "Kathleen Fisher and John Mitchell",
title        =   "Notes on Typed Object-Oriented Programming",
booktitle    =   "Proceedings of Theoretical Aspects of Computer
                  Software, Sendai, Japan",
pages        =   "844--885",
publisher    =   springer,
month        =   apr,
year         =   "1994",
note         =   "LNCS 789",
checked      =   yes
)

@inproceedings   (old:MitchellFisher94,
author       =   "John Mitchell and Kathleen Fisher",
title        =   "Notes on Typed Object-Oriented Programming",
booktitle    =   "Proceedings of Theoretical Aspects of Computer Software",
year         =   "1994")

@inproceedings   (Mitchell93,
author       =   "Mitchell, John C. and Honsell, Furio and Fisher, Kathleen",
title        =   "A lambda calculus of objects and method specialization",
booktitle    =   "1993 IEEE Symposium on Logic in Computer Science",
month        =   jun,
year         =   "1993",
checked      =   "from Mitchell; needs to be checked against original
                  and updated"
)

@inproceedings   (Stansifer88,
author       =   "Ryan Stansifer",
title        =   "Type Inference with Subtypes",
booktitle    =   "Proceedings of the Fifteenth ACM Symposium on
                  Principles of Programming Languages", 
address      =   "San Diego, CA",
month        =   jan,
year         =   "1988",
pages        =   "88--97")

@inproceedings   (Remy92,
author       =   "Didier R\`{e}my",
title        =   "Typing Record Concatenation for Free",
booktitle    =   "Proceedings of the Nineteenth ACM Symposium on
                  Principles of Programming Languages", 
address      =   "Albequerque, NM",
month        =   jan,
year         =   "1992",
checked      =   "incomplete",
note         =   "Also in~"#taoop#"")

@mastersthesis   (Jategaonkar89,
author       =   "Lalita A. Jategaonkar",
title        =   "{ML} with Extended Pattern Matching and Subtypes",
school       =   "MIT",
year         =   "1989",
month        =   aug)

@inproceedings   {Cardelli88,
author       =   "Luca Cardelli",
title        =   "A semantics of multiple inheritance",
booktitle    =   "Semantics of Data Types",
year         =   1984,
publisher    =   "Springer-Verlag",
series       =   "Lecture Notes in Computer Science", volume=173,
editor       =   "G. Kahn and D. MacQueen and G. Plotkin",
pages        =   "51--67",
source       =   "Cribbed from rwhbib, with (2/3) cribbed from elsewhere",
checked      =   "Not checked",
note         =   "Full version in {\em Information and Computation} 
                  76(2/3):138--164, 1988"
}

@article         (Cardelli88:new,
author       =   "Luca Cardelli",
title        =   "A Semantics of Multiple Inheritance",
journal      =   "Information and Computation",
year         =   1988,
volume       =   76,
pages        =   "138--164",
note         =   "Preliminary version in {\em Semantics of Data 
                  Types}, Kahn, MacQueen, and Plotkin, eds., Springer-Verlag 
                  LNCS 173, 1984")

@techreport      (Cardelli91:records,
author       =   "Luca Cardelli",
title        =   "Extensible Records in a Pure Calculus of Subtyping",
institution  =   "DEC Systems Research Center",
number       =   "81",
month        =   jan,
type         =   "Research report",
year         =   "1992",
note         =   "Also in~"#taoop#""
)


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%                    Object Oriented Programming                   %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@article        {Reichel94,
author = "Horst Reichel",
title = "An Approach to Object Semantics based on Terminal Co-algebras",
journal = mscs,
year = 1995,
note = "To appear"
}


@book            {Naraschewski94,
author       =   "Wolfgang Naraschewski",
title        =   "Verifikation objektorientierter Programme mit {\sc Lego}",
publisher    =   "Studienarbeit, Universit{\"a}t Erlangen",
year         =   "1994",
note         =   "To appear"
}

@unpublished     (BrucevanGent94,
author       =   "Kim B. Bruce and Robert van Gent" ,
title        =   "{TOIL}:  {A} new Type-safe Object-oriented
                  Imperative Language",  
year         =   "1993" ,
note         =   "Submitted for publication")

@InProceedings{Bruce95:polyTOIL, 
 author = "Kim B. Bruce and Angela Schuett and Robert van Gent", 
 editor = "W. Olthoff", 
 title = "Poly{TOIL}: {A} Type-Safe Polymorphic Object-Oriented Language", 
 booktitle = "Proceedings ECOOP '95", 
 series = "LNCS 952", 
 pages = "27--51", 
 publisher = "Springer-Verlag", 
 address = "Aarhus, Denmark", 
 month = aug, 
 year = "1995", 
} 
                  
% ??(c) Sam Kamin and Uday Reddy, Two semantic models of object-oriented
% languages.  COPYRIGHT: none.

% !(c) Peter Buneman and Atsushi Ohori, Static Type Inference for Parametric
% Classes.  In: Proceedings of ACM OOPSLA Conference, SIGPLAN Notices,
% Vol 24, Number 10, October 1989, pages 445-456.  COPYRIGHT: The
% Association for Computing Machinery, Inc.  11 West 42nd Street New
% York, New York 10036.

% * la seule reference de "vraie" publication en anglais reste:
@inproceedings   {Rouaix90,
author       =   "Fran\c{c}ois Rouaix",
title        =   "Safe Run-Time Overloading",
booktitle    =   "Proceedings of the 17th ACM Conference on Principles
                  of Programming Languages",
year         =   1990,
pages        =   "355--366"
}

% * ma these, mais en francais:
@misc            {RouaixThese,
author       =   "Fran\c{c}ois Rouaix",
title        =   "{ALCOOL-90}: Typage de la surcharge dans un langage
                  fonctionnel",
howpublished =   "Th\`ese de doctorat, Universit\'e Paris 7",
year         =   1990
}

% * une traduction partielle de ma these, et aussi la description la
% plus recente du langage Alcool. C'est toujours un draft.
@misc            {alcool90,
author       =   "Fran\c{c}ois Rouaix",
title        =   "The {Alcool--90} {R}eport",
howpublished =   "Preliminary draft, in the Alcool distribution",
year         =   1992,
month        =   apr
}

@article         (Abadi94,
author       =   "Mart\'{\i}n Abadi" ,
title        =   "Baby {M}odula-3 and a Theory of Objects" ,
note         =   "An earlier version appeared as DEC Systems Research Center
                  Research Report 95, (February, 1993)",
journal      =   "Journal of Functional Programming",
volume       =   4,
number       =   2,
month        =   apr,
year         =   "1994",
checked      =   "yes",
)

@book            (GunterMitchellBook,
author       =   "Carl A. Gunter and John C. Mitchell" ,
title        =   "Theoretical Aspects of Object-Oriented Programming: 
                  Types, Semantics, and Language Design" ,
publisher    =   mp ,
year         =   "1994" ,
)

@inproceedings   (Chambers92,
author       =   "Craig Chambers" ,
title        =   "Object-Oriented Multi-Methods in {C}ecil",
booktitle    =   "Proceedings of the European Conference on 
                  Object-Oriented Programming",
year         =   "1992" ,
pages        =   "33--56",
checked      =   "Yes, but the LNCS number is missing",
)

@inproceedings   (Ungar87,
author       =   "D. Ungar and R. B. Smith" ,
title        =   "Self: {T}he power of simplicity",
booktitle    =   "Proceedings of the ACM Symposium on Object-Oriented
                  Programming: Languages, Systems, and Applications (OOPSLA)",
year         =   "1987" ,
pages        =   "227--241",
checked      =   "No",
source       =   "Mitchell/Honsell/Fisher bib",
)

@article         (Bruce93,
author       =   "Kim B. Bruce" ,
title        =   "A Paradigmatic Object-Oriented Programming Language:
                  Design, Static Typing and Semantics",
journal      =   "Journal of Functional Programming",
note         =   "A preliminary version appeared in POPL 1993 under
                  the title ``Safe Type Checking in a Statically Typed
                  Object-Oriented Programming Language''",
volume       =   4,
number       =   2,
month        =   apr,
year         =   "1994" ,
)

@incollection    {Reynolds78,
author       =   "John C. Reynolds",
title        =   "User Defined Types and Procedural Data Structures as
                  Complementary Approaches to Data Abstraction",
booktitle    =   "Programming Methodology, A Collection of Articles by
                  IFIP WG2.3",
publisher    =   "Springer-Verlag",
address      =   "New York",
editor       =   "David Gries",
year         =   1978,
pages        =   "309-317",
note         =   "Reprinted from S. A. Schuman (ed.),
                  {\em New Advances in Algorithmic Languages 1975},
                  Inst. de Recherche d'Informatique et d'Automatique,
                  Rocquencourt, 1975, pages 157-168.
                  Also in~"#taoop#"",
}

@article         { Bobrow88,
author       =   "Daniel G. Bobrow and Linda G. DeMichiel and Richard
                  P. Gabriel and Sonya E. Keene and Gregor Kiczales
                  and David A. Moon", 
title        =   "Common {L}isp {O}bject {S}ystem Specification {X3J13}
                  Document {88-002R}",
journal      =   "SIGPLAN Notices",
volume       =   23, 
year         =   1988,
source       =   "Budd91"
}

@article         { Ingalls81,
author       =   "Daniel H. H. Ingalls", 
title        =   "Design Principles Behind {S}malltalk",
journal      =   "Byte",
volume       =   6, 
number       =   8,
pages        =   "286--298",
month        =   aug,
year         =   1981,
source       =   "Budd91"
}

@inproceedings   { Ingalls86,
author       =   "Daniel H. H. Ingalls", 
title        =   "A Simple Technique for Handling Multiple Polymorphism",
booktitle    =   "OOPSLA '86 Conference Proceedings, Portland, Oregon",
month        =   sep,
year         =   1986,
note         =   "Special issue of SIGPLAN Notices 21, 11, 
                  November, 1986",
pages        =   "347--349",
source       =   "Kiczales91",
checked      =   no
}

@incollection    (Kristensen87,
author       =   "Bent Bruun Kristensen and Ole Lehrmann Madsen and
                  Birger M{\o}ller-Pedersen and Kristen Nygaard",
title        =   "The {BETA} Programming Language",
booktitle    =   "Research Directions in Object-Oriented Programming",
editor       =   "Bruce Shriver and Peter Wegner",
publisher    =   mp,
address      =   "Cambridge, MA",
year         =   1987)

@book            (GOLDBERG83,
key          =   "Goldberg83" ,
author       =   "Adele Goldberg and David Robson" ,
title        =   "Smalltalk-80: The Language and Its Implementation" ,
publisher    =   "Addison-Wesley" ,
address      =   "Reading, MA",
year         =   "1983" ,
checked      =   yes)

@book            (Kiczales91,
author       =   "Gregor Kiczales and Jim des Rivi\`{e}res 
                  and Daniel G. Bobrow" ,
title        =   "The art of the metaobject protocol" ,
publisher    =   mp ,
address      =   "Cambridge, MA",
year         =   "1991" ,
checked      =   yes)

@book            (GOLDBERG83a,
author       =   "Adele Goldberg" ,
title        =   "Smalltalk-80: The Interactive Programming Environment" ,
publisher    =   "Addison-Wesley" ,
address      =   "Reading, MA",
year         =   "1983" ,
comment      =   "Date given as both 1983 and 1984 in Budd87!!!",
source       =   "Budd91")

@book            (Kaehler86,
author       =   "Ted Kaehler and Dave Patterson" ,
title        =   "A Taste of Smalltalk" ,
publisher    =   "W. W. Norton and Company" ,
address      =   "New York",
year         =   "1986" ,
source       =   "Budd91")

@book            (Kirkerud89,
author       =   "Bj{\o}rn Kirkerud" ,
title        =   "Object-Oriented Programming with Simula" ,
publisher    =   "Addison-Wesley" ,
address      =   "Reading, MA",
year         =   "1989" ,
source       =   "Budd91")

@article         {Snyder86,
author       =   "A. Snyder",
year         =   "1986",
month        =   nov,
journal      =   "Proceedings OOPSLA '86, 
                  distributed as ACM SIGPLAN Notices",
number       =   "11",
pages        =   "38-45",
title        =   "Encapsulation and Inheritance in Object-Oriented 
                  Programming Languages",
volume       =   "21",
checked      =   yes
}

@book            (Lalonde90,
author       =   "Wilf Lalonde and John Pugh" ,
title        =   "Inside Smalltalk" ,
publisher    =   "Prentice-Hall" ,
address      =   "Englewood Cliffs, NJ",
year         =   "1990" ,
source       =   "Budd91")

@book            (Krasner83,
author       =   "Glenn Krasner" ,
title        =   "Smalltalk-80: Bits of History, Words of Advice" ,
publisher    =   "Addison-Wesley" ,
address      =   "Reading, MA",
year         =   "1983" ,
checked      =   no,
source       =   "Budd91")

@book            (Keene89,
author       =   "Sonya E. Keene" ,
title        =   "Object-Oriented Programming in Common Lisp" ,
publisher    =   "Addison-Wesley" ,
address      =   "Reading, MA",
year         =   "1989" ,
checked      =   no,
source       =   "Budd91")

@book            (Budd91,
author       =   "Timothy Budd" ,
title        =   "An Introduction to Object-Oriented Programming" ,
publisher    =   "Addison-Wesley" ,
address      =   "Reading, MA",
year         =   "1991" ,
checked      =   yes)

@book            (Budd87,
author       =   "Timothy Budd" ,
title        =   "A Little Smalltalk" ,
publisher    =   "Addison-Wesley" ,
address      =   "Reading, MA",
year         =   "1987" ,
source       =   "Budd91")

@book            (Booch91,
author       =   "Booch" ,
title        =   "Object-Oriented Design with Applications",
publisher    =   "Benjamin/Cummings" ,
year         =   "1991" ,
checked      =   "No and probably wrong!  What's his first name???")

@incollection    {Cook91,
author       =   "W. Cook",
title        =   "Object-oriented programming versus abstract data types",
booktitle    =   "Foundations of Object-Oriented Languages",
publisher    =   "Springer-Verlag",
place        =   "Berlin",
year         =   "1991",
series       =   "Lecture Notes in Computer Science",
editor       =   "J. W. de Bakker and others",
pages        =   "151-178",
volume       =   "489",
source       =   "rdt.bib"
}

@inproceedings   {Adams&88,
author       =   {N. Adams and J. Rees},
title        =   {Object-Oriented Programming in Scheme},
booktitle    =   {Proc. of the ACM Conf. on Lisp and Functional Programming},
year         =   {1988},
source       =   "Cook90",}

@inproceedings   {laod91,
author       =   {Konstantin L\"{a}ufer and Martin Odersky},
title        =   {Type Classes are Signatures of Abstract Types},
booktitle    =   {Proc. Phoenix Seminar and Workshop on Declarative
                  Programming}, 
month        =   nov,
year         =   {1991},
source       =   "Reprint from Laufer",}

@article         {laod94,
author       =   {L\"{a}ufer, K. and Odersky, M.},
title        =   {Polymorphic Type Inference and Abstract Data Types},
journal      =   {ACM Transactions on Programming Languages
                  and Systems (TOPLAS)}, 
year         =   {1994},
note         =   {To appear; an earlier version appeared in the 
                  Proceedings of the ACM SIGPLAN Workshop on ML and 
                  its Applications, 1992, under the title
                  ``An Extension of {ML} with First-Class Abstract Types''}
}

@book            {Meyer:Eiffel,
author       =   "Bertrand Meyer",
title        =   "Object-oriented Software Construction",
publisher    =   "Prentice Hall",
year         =   "1988",
checked      =   yes}

@article         {Castagna92,
title        =   {A Calculus for Overloaded Functions with Subtyping},
author       =   {Giuseppe Castagna and Giorgio Ghelli and Giuseppe Longo},
pages        =   {115--135},
journal      =   ic,
month        =   {15~} # feb,
year         =   1995,
volume       =   117,
number       =   1,
references   =   {Cardelli88, CurienG94, LICS::LongoMS93, Wand91},
source       =   {ftp://theory.lcs.mit.edu/pub/iandc/iandc.bib},
note         =   "a preliminary version appeared in LISP
                  and Functional 
                  Programming, July 1992 (pp.\ 182--192), and as Rapport de 
                  Recherche LIENS-92-4, Ecole Normale Sup{\'e}rieure, Paris"
}

@techreport      {Castagna92a,
author       =   "Giuseppe Castagna",
title        =   "Strong Typing in Object-Oriented Paradigms",
year         =   "1992",
month        =   may,
institution  =   "Ecole Normale Sup{\'e}rieure, Paris",
type         =   "Rapport de Recherche",
number       =   "LIENS-92-11",
checked      =   yes}

@unpublished     {Cardelli90:Fomegasub,
author       =   "Luca Cardelli",
title        =   "Notes about {F$^\omega_{<:}$}",
year         =   "1990",
month        =   oct,
note         =   "Unpublished manuscript"}

@techreport      {Meseguer90,
author       =   "Narciso Mart\'{\i}-Oliet and Jos\'e Meseguer",
title        =   "Inclusions and Subtypes", 
number       =   "SRI-CSL-90-16",
institution  =   "Computer Science Laboratory, SRI International",
year         =   "1990",
month        =   dec,
checked      =   yes,
}

@techreport      {Leavens93,
author       =   "Gary T. Leavens",
title        =   "Inheritance of Interface Specifications (Extended
                  Abstract)", 
number       =   "TR\#93-23",
institution  =   "Department of Computer Science, Iowa State University",
year         =   "1993",
month        =   sep,
checked      =   yes,
}

@article         {LeavensWeihl94,
author       =   {Gary T. Leavens and William E. Weihl},
title        =   {Specification and Verification of Object-Oriented
                  Programs Using Supertype Abstraction},
journal      =   {Acta Informatica},
year         =   1995,
volume       =   32,
number       =   8,
month        =   Nov,
pages        =   {705-778},
note         =   "An earlier version appeared as Iowa State
                  University technical report TR\#92-28d, under the title
                  ``Subtyping, Modular Specification, and Modular
                  Verification for Applicative Object-Oriented
                  Programs,'' 1992"
}

@techreport      {LeavensWeihl94:old,
author       =   "Gary T. Leavens and William E. Weihl",
title        =   "Subtyping, Modular Specification, and Modular
                  Verification for Applicative Object-Oriented
                  Programs",  
number       =   "TR\#92-28d",
institution  =   "Department of Computer Science, Iowa State University",
year         =   "1992",
month        =   sep,
note         =   "Revised September, October 1993, and January, 1994.
                  Portions to appear in {\em Acta Informatica}",
checked      =   yes,
}

@inproceedings   (AbadiCardelliViswanathan96,
author       =   "Mart\'{\i}n Abadi and Luca Cardelli and Ramesh Viswanathan" ,
title        =   "An Interpretation of Objects and Object Types",
year         =   "1996" ,
booktitle    =   "{\em Principles of Programming Languages}" ,
pages        =   "396--409",
)

@inproceedings   (Jim96,
author       =   "Trevor Jim" ,
title        =   "What are principal typings and what are they good for?",
year         =   "1996" ,
booktitle    =   "{\em Principles of Programming Languages}" ,
pages        =   "42--53",
)

@inproceedings   {AbadiCardelli94:I,
author       =   "Mart\'{\i}n Abadi and Luca Cardelli",
title        =   "A Theory of Primitive Objects: {U}ntyped and
                  First-order Systems",
booktitle    =   "Theoretical Aspects of Computer Software (TACS), 
                  Sendai, Japan",
year         =   "1994",
}

@inproceedings   {AbadiCardelli94:II,
author       =   "Mart\'{\i}n Abadi and Luca Cardelli",
title        =   "A Theory of Primitive Objects: {S}econd-order Systems",
year         =   "1994",
booktitle    =   "European Symposium on Programming (ESOP), 
                  Edinburgh, Scotland",
}

@unpublished     {Cardelli92,
author       =   "Luca Cardelli",
title        =   "Typed Foundations of Object-oriented Programming",
year         =   "1992",
month        =   jan,
note         =   "Tutorial given at POPL '92"}

@inproceedings   {CanningCookHillOlthoff89,
author       =   "Peter Canning and William Cook and Walt Hill and Walter Olthoff",
title        =   "Interfaces for Strongly-Typed Object-Oriented Programming",
booktitle    =   OOPSLA,
pages        =   "457-467",
year         =   1989,
source       =   "Cook bib"}

@inproceedings   {Mitchell90,
author       =   "John C. Mitchell",
title        =   "Toward a Typed Foundation for Method Specialization
                  and Inheritance",
booktitle    =   "Proceedings of the 17th ACM Symposium on Principles
                  of Programming Languages",
pages        =   "109-124",
month        =   jan,
year         =   1990,
note         =   "Also in~"#taoop#""
}
                  
@inproceedings   {Borning86,
author       =   "A. H. Borning",
title        =   "Classes versus Prototypes in object-oriented languages",
booktitle    =   "ACM/IEEE Fall Joint Computer Conference",
pages        =   "30-46",
year         =   1986,
source       =   "Mitchell90"}
                  
@techreport      {CanningHillOlthoff88
,author = "Peter Canning and Walt Hill and Walter Olthoff"
,title = "A Kernel Language for Object-Oriented Programming"
,number = "STL-88-21"
,institution = "Hewlett-Packard Labs"
,year = 1988
,source = "Cook bib"
}
                  
@article         (Danforth&88,
author       =   "Scott Danforth and Chris Tomlinson",
title        =   "Type Theories and Object-Oriented Programming",
journal      =   "ACM Computing Surveys",
year         =   1988,
month        =   mar,
volume       =   20,
number       =   1,
pages        =   "29--72")

@inproceedings   (Bobrow&86,
author       =   "Daniel G. Bobrow and Kenneth Kahn and Gregor Kiczales
                  and Larry Masinter and Mark Stefik and Frank Zdybel",
title        =   "Common{L}oops: {M}erging Lisp and Object-Oriented 
                  Programming",
booktitle    =   "Proceedings of OOPSLA '86",
month        =   sep ,
address      =   "Portland, Oregon",
publisher    =   "ACM",
year         =   "1986" ,
pages        =   "17--29",
note         =   "Special issue of {SIGPLAN} {N}otices
                  (vol. 21 No. 11, November, 1986)")

@inproceedings   (Schaffert&86,
author       =   "Craig Schaffert and Topher Cooper and Bruce Bullis
                  and Mike Kilian and Carrie Wilpolt",
title        =   "An Introduction to {T}rellis/{OWL}",
booktitle    =   "Proceedings of OOPSLA '86",
month        =   sep ,
address      =   "Portland, Oregon",
publisher    =   "ACM",
year         =   "1986" ,
pages        =   "9--16",
note         =   "Special issue of {SIGPLAN} {N}otices 
                  (vol. 21 No. 11, November, 1986)")

@phdthesis       (Cook89,
author       =   "William Cook" ,
title        =   "A Denotational Semantics of Inheritance" ,
school       =   "Brown University" ,
year         =   "1989" ,
source       =   "Cook90"
)

@inproceedings   (Cook&89,
author       =   "William R. Cook and Walter L. Hill and Peter S. Canning",
title        =   "Inheritance is not Subtyping",
booktitle    =   "Seventeenth Annual ACM Symposium on Principles of
                  Programming Languages",
year         =   "1990",
address      =   "San Francisco, CA",
month        =   jan,
pages        =   "125--135",
note         =   "Also in~"#taoop#"")

@inproceedings   (Graver&90,
author       =   "Justin O. Graver and Ralph E. Johnson",
title        =   "A Type System for {S}malltalk",
booktitle    =   "Seventeenth Annual ACM Symposium on Principles of
                  Programming Languages",
year         =   "1990",
address      =   "San Francisco, CA",
month        =   jan,
pages        =   "125--135")


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                          Oz Documentation                                %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@string{dfki    = {German Research Center for Artificial Intelligence (DFKI)}}
@string{dfkiaddr= {Stuhlsatzenhausweg 3, D-66123 Saarbr{\"u}cken, Germany}}
@string{unisb   = {Universit\"at des Saarlandes, Fachbereich 14 Informatik}}
@string{unisbaddr = {Postfach 1150, D-66041 Saarbr\"ucken, Germany}}
@string{unikl   = {Universit{\"a}t Kaiserslautern, Fachbereich Informatik}}
@string{unikladdr = {Postfach 3049, D-67653 Kaiserslautern, Germany}}
@string{ozdoc = {{DFKI} {O}z Documentation Series}}


@TechReport{ozdoc:crash,
author  = "Gert Smolka",
title   = "An {Oz} Primer",
institution = dfki,
address = dfkiaddr,
type    = ozdoc,
year    = 1994,
}

@TechReport{ozdoc:kernel,
author  = "Gert Smolka",
title   = "The Definition of {K}ernel {Oz}",
institution = dfki,
address = dfkiaddr,
type    = ozdoc,
year    = 1994,
}

@TechReport{ozdoc:prog,
author  = "Martin Henz and Martin M{\"u}ller",
title   = "Programming in {Oz}",
institution = dfki,
address = dfkiaddr,
type    = ozdoc,
year    = 1994,
}

@techreport      (HenzMueller94,
author       =   "Martin Henz and Martin M{\"u}ller" ,
title        =   "Programming in Oz",
institution  =   "DFKI" ,
type         =   "Research Report" ,
number       =   "RR-94-30",
year         =   "1994",
month        =   nov,
)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%                         Subtyping                                %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@ARTICLE{albano85,
   author = {A. Albano and L. Cardelli and R. Orsini},
   title = {{G}alileo: A Strongly Typed, Interactive Conceptual Language},
   journal = "ACM Transactions on Database Systems",
   year = 1985,
   volume = 10,
    number = 2,
    pages = "230--260",
}

@ARTICLE(Ghe95-tcs,
        AUTHOR = "Giorgio Ghelli",
        TITLE  = "Divergence of {F}\mbox{$_\leq$} Type Checking",
        JOURNAL = "Theoretical Computer Science",
        VOLUME = 139,
        NUMBER = "1,2",
        YEAR = 1995,
        PAGES = "131--162"
   )

@INPROCEEDINGS{Ghe93-tlca,
   author = "G. Ghelli",
   title = "Recursive types are not conservative over \mbox{F$_\leq$}",
   booktitle = PROC # "the International Conference on " # TLCA #
                                ", Utrecht, The Netherlands" ,
   month = "March",
   editor = "M. Bezen and J.F. Groote",
   year = 1993,
   series = LNCS,
   number = 664,
   pages = "146-162",
   address = "Berlin",
   publisher = SV
 }

@inproceedings   {Cardelli87,
author       =   "Luca Cardelli",
title        =   "Typechecking dependent types and subtypes",
booktitle    =   "Proc. of the Workshop on Foundations of Logic 
                  and Functional Programming",
year         =   1987,
address      =   "Trento, Italy",
month        =   dec,
checked      =   "Not checked",
source       =   "Copied from Cardelli88a"}

@techreport      ( CURTIS90,
key          =   "Curtis90" ,
author       =   "Pavel Curtis" ,
title        =   "Constrained Quantification in Polymorphic Type
                  Analysis" ,
institution  =   "Xerox Palo Alto Research Center" ,
number       =   "CSL-90-1" ,
month        =   feb ,
year         =   "1990" ,
checked      =   yes
)

@incollection    (Cardelli:Amber,
author       =   "Luca Cardelli",
title        =   "Amber",
booktitle    =   "Combinators and Functional Programming Languages",
editor       =   "Guy Cousineau and Pierre-Louis Curien and Bernard Robinet",
note         =   "Lecture Notes in Computer Science No. 242",
publisher    =   "Springer-Verlag",
pages        =   "21--47",
checked      =   "Not checked",
year         =   1986)

@inproceedings   (Mitchell84a,
author       =   "Mitchell, John C.",
title        =   "Coercion and Type Inference (Summary)",
booktitle    =   "Proc. 11th ACM Symp. on Principles of 
                  Programming  Languages",
month        =   jan,Year="1984", Pages="175-185",
checked      =   "Not checked",
source       =   "cribbed from jcmbib")

@inproceedings   {Mitchell88,
author       =   "John C. Mitchell",
key          =   "Mitchell 84b",
title        =   "Type inference and type containment",
booktitle    =   "Proc. Int. Symp. on Semantics of Data Types,
                  Sophia-Antipolis (France)",
publisher    =   "Springer LNCS 173",
address      =   "Berlin",
month        =   jun,
year         =   "1984",
pages        =   "257--278",
note         =   "Full version in 
                  {\em Information and Computation}, vol. 76, no. 2/3, 
                  1988, pp. 211--249.  
                  Reprinted in {\it Logical Foundations of Functional
                  Programming,} ed. G. Huet, Addison-Wesley (1990)
                  153--194",
}
                  
@article         (Mitchell88:old,
author       =   "John C. Mitchell" ,
title        =   "Polymorphic Type Inference and Containment",
journal      =   "Information and Computation" ,
volume       =   "76" ,
year         =   "1988" ,
pages        =   "211--249" ,
checked      =   yes,
)

@article         (BruceLongo90,
author       =   "Kim B. Bruce and Giuseppe Longo",
title        =   "A Modest Model of Records, Inheritance, and Bounded
                  Quantification",
journal      =   "Information and Computation",
volume       =   87,
pages        =   "196--240",
year         =   1990,
note         =   "Also in~"#taoop#".
                  An earlier version appeared in the proceedings of
                  the IEEE Symposium on Logic in Computer Science,
                  1988",
checked      =   yes)
% [BL90] K. B. Bruce and G. Longo, "A Modest Model of Records,
% Inheritance, and Bounded Quantification."  Information and
% Computation, 87, 1990, pp. 196-240.

@inproceedings   (Cardelli88a,
author       =   "Luca Cardelli",
title        =   "Structural Subtyping and the Notion of Power Type",
booktitle    =   "Proceedings of the 15th {ACM} Symposium on Principles of 
                  Programming Languages",
year         =   1988,
month        =   jan,
address      =   "San Diego, CA",
pages        =   "70-79")

@article         {BreazuTannen&91,
author       =   "Val Breazu{-}Tannen and Thierry Coquand and Carl Gunter 
                  and Andre Scedrov",
title        =   "Inheritance as Implicit Coercion",
journal      =   "Information and Computation", 
volume       =   93, year=1991, pages="172--221",
checked      =   yes,
note         =   "Also in~"#taoop#"",
}

@inproceedings   (Ma92,
author       =   "QingMing Ma",
title        =   "Parametricity as Subtyping",
booktitle    =   "Proceedings of the Nineteenth ACM Symposium on
                  Principles of Programming Languages", 
address      =   "Albequerque, NM",
month        =   jan,
year         =   "1992",
checked      =   "incomplete")

@inproceedings   (Martini88,
author       =   "Simone Martini",
title        =   "Bounded Quantifiers have Interval Models",
booktitle    =   "Proceedings of the ACM Conference on Lisp and 
                  Functional Programming",
publisher    =   "ACM",
month        =   jul ,
address      =   "Snowbird, Utah",
year         =   "1988" ,
pages        =   "174--183")

@inproceedings   (Katiyar92,
author       =   "Dinesh Katiyar and Sriram Sankar" ,
title        =   "Completely Bounded Quantification is Decidable" ,
booktitle    =   "Proceedings of the ACM SIGPLAN Workshop on ML and
                  its Applications",
month        =   jun ,
year         =   "1992" ,
)
% Dinesh Katiyar and Sriram Sankar,
% "Completely Bounded Quantification is Decidable."
% Proceedings of the ACM SIGPLAN Workshop on ML and
% its Applications, June, 1992.

@techreport      (Cardelli91:FsubTheSystem,
author       =   "Luca Cardelli",
title        =   "An Implementation of {$F_{<:}$}",
institution  =   "DEC Systems Research Center",
number       =   "97",
month        =   feb,
type         =   "Research report",
year         =   "1993")

@unpublished     (PAC93,
author       =   "Gordon Plotkin and Mart\'{\i}n Abadi and Luca Cardelli",
title        =   "Subtyping and Parametricity",
note         =   "Draft",
month        =   nov,
year         =   1993)

@inproceedings   (BruceMitchell92,
author       =   "Kim Bruce and John Mitchell",
title        =   "{PER} models of subtyping, recursive types and
                  higher-order polymorphism",
booktitle    =   "Proceedings of the Nineteenth ACM Symposium on
                  Principles of Programming Languages", 
address      =   "Albequerque, NM",
month        =   jan,
year         =   "1992",
checked      =   "incomplete")

@Article{Katiyar-etal94,
  Key =         "Katiyar, {\em et al.}",
  Author =      "Dinesh Katiyar and David Luckham and John Mitchell
                 and Sigurd Meldal",
  Title =       "Polymorphism and Subtyping in Interfaces",
  Journal =     SIGPLAN,
  Year =        1994,
  Volume =      29,
  Number =      8,
  Month =       Aug,
  Pages =       "22-34",
  Note =        "Proceedings of the Workshop on Interface Definition
                 Languages.",
  Annote =      "21 references."
}

@InProceedings{Katiyar-Luckham-Mitchell94,
  Key =          "Katiyar \& Luckham \& Mitchell",
  Author =       "Dinesh Katiyar and David Luckham and John Mitchell",
  Title =        "A Type System for Prototyping Languages",
  Pages =        "138-150",
  Booktitle =    "Conference Record of POPL '94: 21st ACM
                  SIGPLAN--SIGACT Symposium of Principles of
                  Programming Languages, Portland, Oregon",
  Year =         1994,
  Organization = ACM,
  Month =        Jan,
  Annote =       "27 references."
}

@inproceedings   (Canning&89,
author       =   "Peter Canning and William Cook and Walter Hill and
                  Walter Olthoff and John Mitchell",
title        =   "F-Bounded Quantification for Object-Oriented Programming",
booktitle    =   "Fourth International Conference on Functional
                  Programming Languages and Computer Architecture",
year         =   "1989",
month        =   sep,
pages        =   "273--280")

@misc            (Robinson&88,
author       =   "Edmund Robinson and Robert Tennent",
title        =   "Bounded quantification and record-update problems",
howpublished =   "Message to {\tt Types} electronic mail list",
day          =   "19", Month=oct, Year="1988")

@misc            (Abadi92:FBQ,
author       =   "Mart\'{\i}n Abadi",
title        =   "Doing without {F}-bounded quantification",
howpublished =   "Message to {\tt Types} electronic mail list",
day          =   "4", 
month        =   feb, 
year         =   "1992")

@article         (CMMS94,
author       =   "Luca Cardelli and Simone Martini and John C.
                  Mitchell and Andre Scedrov",
title        =   "An Extension of System {F} with Subtyping",
journal      =   ic,
volume       =   109,
number       =   "1--2",
pages        =   "4--56",
year         =   1994,
note         =   "A preliminary version appeared in TACS '91 
                  (Sendai, Japan, pp.~750--770)",
source       =   "luca")

@article         (CardelliWegner85,
author       =   "Luca Cardelli and Peter Wegner",
title        =   "On Understanding Types, Data Abstraction, and Polymorphism",
journal      =   "Computing Surveys",
volume       =   17,
number       =   4,
year         =   1985,
month        =   dec)

 Luca Cardelli and Peter Wegner, "On Understanding Types, Data
% Abstraction, and Polymorphism."  Computing Surveys, Volume 17, number
% 4, December, 1985.

@phdthesis       (Ghelli90,
author       =   "Giorgio Ghelli" ,
title        =   "Proof Theoretic Studies about a Minimal Type System
                  Integrating Inclusion and Parametric Polymorphism" ,
school       =   "Universit\`{a} di Pisa" ,
year         =   "1990" ,
month        =   mar,
note         =   "Technical report TD--6/90, Dipartimento di Informatica, 
                  Universit\`{a} di Pisa",
checked      =   yes
)
% Giorgio Ghelli, Proof Theoretic Studies about a Minimal Type System
% Integrating Inclusion and Parametric Polymorphism.
% Ph.D. thesis, Universita di Pisa, 1990.
% Technical report TD--6/90, Dipartimento di Informatica, 
% Universita di Pisa.

@article         (CurienGhelli91,
author       =   "Pierre-Louis Curien and Giorgio Ghelli",
title        =   "Coherence of Subsumption: {M}inimum typing and
                  type-checking in {F$_\leq$}", 
journal      =   "Mathematical Structures in Computer Science",
volume       =   2,
pages        =   "55--91",
year         =   1992,
note         =   "Also in~"#taoop#"")

@inproceedings   (CurienGhelli91A,
author       =   "Pierre-Louis Curien and Giorgio Ghelli",
title        =   "Subtyping + extensionality: {C}onfluence of
                  $\beta\eta$-reductions in {$F_\leq$}",
crossref     =   "TACS91",
pages        =   "731--749",
checked      =   yes)

@inproceedings   (Ghelli93,
author       =   "Giorgio Ghelli",
title        =   "Recursive types are not conservative over {F}$_{\leq}$",
booktitle    =   "Typed Lambda Calculus and Applications",
month        =   mar,
year         =   "1993") 



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%                       Intersection Types                         %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@misc            {Cardone&93,
author       =   "Felice Cardone and Mariangiola {Dezani-Ciancaglini}
                  and  Ugo de' Liguoro",
title        =   "Combining Type Disciplines",
note         =   "Manuscript",
year         =   "1993",
}

@inproceedings   (Pfenning93,
author       =   "Frank Pfenning",
title        =   "Refinement Types for Logical Frameworks",
booktitle    =   "Informal Proceedings of the 1993 Workshop on Types
                  for Proofs and Programs",
month        =   may,
year         =   "1993",
pages        =   "315--328",
checked      =   "yes")

@inproceedings   (CoppoGiannini92,
author       =   "M. Coppo and P. Giannini",
title        =   "A complete type inference algorithm for simple
                  intersection types",
booktitle    =   "ESOP `92?",
year         =   "1992",
checked      =   "Incomplete!!")

@article         {CoppoDezani78,
author       =   "M. Coppo and M. Dezani-Ciancaglini",
title        =   "A New Type-Assignment for $\lambda$-Terms",
journal      =   "Archiv. Math. Logik", 
volume       =   19,
pages        =   "139-156",
year         =   "1978",
checked      =   "Not checked --- probably wrong",
source       =   "Hindley82"}

@incollection    {CoppoDezaniSalle79,
author       =   "M. Coppo and M. Dezani and P. Sall\'{e}",
title        =   "Functional characterization of some semantic
                  equalities inside $\lambda$-calculus",
series       =   LNCS,
number       =   81,
publisher    =   Springer,
pages        =   "133--146",
year         =   "1979",
checked      =   "Not checked",
source       =   "Hindley89"}

@incollection    {Wraith89,
author       =   "Gavin C. Wraith",
title        =   "A note on categorical datatypes",
series       =   LNCS,
number       =   389,
publisher    =   Springer,
year         =   "1989",
checked      =   "Not checked",
source       =   "mxh"}

@inproceedings   {Dezani84,
author       =   "M. Dezani-Ciancaglini and I. Margaria",
title        =   "F-Semantics for Intersection Type Discipline",
booktitle    =   "Semantics of Data Types",
editor       =   "G. Kahn and D. B. MacQueen and G. Plotkin",
publisher    =   "Springer-Verlag",
series       =   "Lecture Notes in Computer Science", 
volume       =   173,
year         =   1984,
pages        =   "279--300",
checked      =   yes}

@article         {vanBakel92,
title        =   "Complete restrictions of the intersection type discipline",
author       =   "Steffen van Bakel",
journal      =   TCS, 
volume       =   99, 
year         =   1992,
checked      =   "Not checked",
source       =   "email from vanBakel"}

@techreport      {vanBakel91,
author       =   "Steffen van Bakel",
title        =   "Principal type schemes for the strict type
                  assignment system", 
type         =   "Technical report",
number       =   "91-6",
department   =   "Department of Computer Science",
institution  =   "University of Nijmegen",
year         =   "1991",
checked      =   no,
comments     =   "email from vanBakel"}

@article         {Barendregt&83,
author       =   "H. Barendregt and M. Coppo and M. Dezani{-}Ciancaglini",
title        =   "A filter lambda model and the completeness of type assignment",
journal      =   "Journal of Symbolic Logic", volume=48, number=4, year=1983,
pages        =   "931-940",
checked      =   "Not checked",
source       =   "Cribbed from rwhbib (corroborated by jcmbib)"}

@article         {COPPO79,
author       =   "Coppo, M. and Dezani{-}Ciancaglini, M.",
title        =   "A New Type Assignment for Lambda-Terms",
journal      =   "Archive f. math. Logic u. Grundlagenforschung",
volume       =   "19",
year         =   "1979",
pages        =   "139--156",
checked      =   "Not checked",
entered      =   "2:43pm  Friday, 15 August 1986"  }

@article         {CoppoDezani80,
author       =   "Coppo, M. and Dezani{-}Ciancaglini, M.",
title        =   "An Extension of the Basic Functionality Theory for
                  the $\lambda$-Calculus",
journal      =   "Notre-Dame Journal of Formal Logic",
volume       =   "21",
number       =   "4",
year         =   "1980",
month        =   oct,
pages        =   "685-693",
ascii        =   {Coppo, M. and Dezani-Ciancaglini, M.,
                  "An Extension of the Basic Functionality Theory for
                  the lambda-Calculus."
                  Notre-Dame Journal of Formal Logic, 21, 4,
                  pp. 685-693, 
                  October, 1980.
                  },
checked      =   yes}

@incollection    {COPPO80,
author       =   "Coppo, Mario",
title        =   "An Extended Polymorphic Type System for Applicative Languages",
booktitle    =   "Mathematical Foundations of Computer Science",
editor       =   "P. Dembinski",
note         =   "Lecture Notes in Computer Science No. 88",
publisher    =   "Springer-Verlag",
year         =   1980,
pages        =   "194--204",
checked      =   "Not checked",
source       =   "Cribbed from Leivant89alpha"}

@inproceedings   {coppo&80,
author       =   "M. Coppo and M. Dezani{-}Ciancaglini and B. Venneri",
title        =   "Principal type schemes and lambda calculus semantics",
booktitle    =   "To H. B. Curry: Essays on Combinatory Logic, 
                  Lambda Calculus, and Formalism",
publisher    =   "Academic Press",
address      =   "New York",
year         =   1980,
pages        =   "535--560",
checked      =   "Not checked",
source       =   "Cribbed from rwhbib"}

@article         {COPPO81,
author       =   "Coppo, M. and Dezani{-}Ciancaglini, M. and Venneri, B.",
title        =   "Functional Characters of Solvable Terms",
journal      =   "{Zeitschrift f\"{u}r Mathematische Logik und Grundlagen der Mathematik}",
volume       =   27,
year         =   "1981",
pages        =   "45--58",
checkedbyjcr =   "4:03pm  Monday, 20 June, 1988"  }

@inproceedings   {COPPO83C,
author       =   "Coppo, M. and Dezani, M. and Longo, G.", 
title        =   "Applicative Information Systems",
booktitle    =   "Proc. of CAAP '83",
publisher    =   "Springer-Verlag",
series       =   LNCS,
number       =   159,
pages        =   "35-64",
checked      =   "Not checked",
source       =   "Bibliographic page sent to me by Cardone"
}

@inproceedings   {COPPO83A,
author       =   "Coppo, M. and Dezani{-}Ciancaglini, M. and Honsell, F. and
                  Longo, G.", 
title        =   "Extended Type Structures and Filter Lambda Models",
booktitle    =   "Logic Colloquium 82",
editor       =   "G. Lolli and G. Longo and A. Marja",
publisher    =   "North-Holland",
address      =   "Amsterdam",
year         =   "1983",
pages        =   "241--262",
checked      =   "Not checked",
comments     =   "Same as next reference??  Cardone spells it Marcja
                  and gives the year as 1984!"}

@techreport      {COPPO83B:tr,
author       =   "Coppo, M. and Dezani{-}Ciancaglini, M. and Honsell, F. and
                  Longo, G.", 
title        =   "Extended Type Structures and Filter Lambda Models",
type         =   "Note Scientifiche",
number       =   "S-83-5",
department   =   "Dipartimento di Informatica",
institution  =   "Universit\`{a} Degli Studi di Pisa",
month        =   feb,
year         =   "1983",
checked      =   "Not checked",
comments     =   "Same as previous reference??"}

@article         {COPPO87,
author       =   "Coppo, M. and Dezani{-}Ciancaglini, M. and Zacchi, M.", 
title        =   "Type Theories, Normal Forms and {D$_\infty$}-Lambda-Models",
journal      =   "Information and Computation",
volume       =   72,
year         =   "1987",
pages        =   "85--116",
checked      =   yes
}

@unpublished     {COPPO8X,
author       =   "Coppo, M. and Dezani{-}Ciancaglini, M. and Honsell, F.", 
title        =   "Applicative Information Systems and {D$_\infty$} Models",
year         =   "198?",
note         =   "Internal report, University of Torino",
checked      =   "Not checked",
complete     =   "incomplete",
source       =   "Bib page sent to me by Cardone"
}

@techreport      (Compagnoni94:TR,
author       =   "Adriana B. Compagnoni" ,
title        =   "Subtyping in {$F^\omega_\wedge$} is decidable",
year         =   "1994" ,
month        =   jan,
institution  =   "LFCS, University of Edinburgh",
number       =   "ECS-LFCS-94-281",
note         =   "Also appeared in proceedings of Computer Science
                  Logic, September 1994 (Springer LNCS 933, June
                  1995), under the title ``Decidability of 
                  Higher-Order Subtyping with Intersection Types''"
)
                  
@inproceedings   (Compagnoni94,
author       =   "Adriana B. Compagnoni",
title        =   "Decidability of Higher-Order Subtyping 
                  with Intersection Types",
booktitle    =   "Computer Science Logic",
month        =   sep,
year         =   "1994",
note         =   "Kazimierz, Poland.  Springer {\em Lecture Notes in Computer
                  Science} 933, June 1995.  Also available as
                  University of Edinburgh, LFCS technical 
                  report ECS-LFCS-94-281,
                  titled ``Subtyping in {$F^\omega_\wedge$} is decidable''",
)

@article         {Dezani86,
author       =   "Dezani-Ciancaglini, Mariangiola and Margaria, Ines", 
title        =   "A Characterisation of {$F$}-Complete Type Assignments",
year         =   "1986",
journal      =   tcs,
volume       =   "45",
pages        =   "121--157",
checked      =   yes}

@inproceedings   (Dezani86B,
author       =   "Dezani-Ciancaglini, M. and Margaria, I.",
title        =   "Polymorphic types, fixed-point combinators, and
                  continuous lambda-models",
booktitle    =   "Formal Description of Programming Concepts -- III.
                  Proceedings of the IFIP TC 2/WG 2.2 Working Conference",
editor       =   "Wirsing, M.",
publisher    =   "North-Holland" ,
month        =   aug ,
year         =   "1986" ,
pages        =   "425--448")

@incollection    (Hindley82,
author       =   "Hindley, J. R.",
title        =   "The Simple Semantics for {C}oppo-{D}ezani-{S}all{\'{e}} Types",
booktitle    =   "Proceedings of the International Symposium on Programming",
editor       =   "Dezani-Ciancaglini and Montanari",
note         =   "Lecture Notes in Computer Science No. 137",
pages        =   "212-226",
publisher    =   "Springer-Verlag",
checked      =   yes,
year         =   1982)

@unpublished     {Jacobs&89,
author       =   "Bart Jacobs and Ines Margaria and Maddalena Zacchi",
title        =   "Expansion and Conversion Models in the Lambda
                  Calculus From Filters with Polymorphic Types",
note         =   "Manuscript",
year         =   "1989",
checked      =   "Not checked",
month        =   mar}

@misc            (Margaria91,
title        =   "Principal typing in intersection types with quantification",
howpublished =   "Lecture at 1991 Paris Jumelage",
year         =   1991)

@unpublished     (MargariaZacchi91,
author       =   "Ines Margaria and Maddalena Zacchi",
title        =   "Principal Typing in a $\forall\wedge$-Discipline",
checked      =   "Not checked",
complete     =   "Incomplete",
note         =   "Draft manuscript")

@inproceedings   (Monteleone89,
author       =   "Gennaro Monteleone",
title        =   "Generalized Conjunctive Types",
booktitle    =   "Proceedings of the Sixteenth Annual ACM Symposium
                  on Principles of Programming Languages, Austin" ,
publisher    =   "ACM" ,
month        =   jan ,
year         =   "1989" ,
pages        =   "242--249")

@article         (RonchiDellaRocca88,
author       =   "Ronchi della Rocca, Simona",
title        =   "Principal Type Scheme and Unification for Intersection 
                  Type Discipline",
checked      =   yes,
journal      =   "Theoretical Computer Science",
volume       =   "59",
year         =   "1988",
pages        =   "181--209")

@article         (RonchiDellaRocca84,
author       =   "Ronchi della Rocca, S. and B. Venneri",
title        =   "Principal Type Schemes for an Extended Type Theory",
journal      =   "Theoretical Computer Science",
volume       =   "28",
pages        =   "151--169",
checked      =   "Not checked",
year         =   1984)

@incollection    (Salle78,
author       =   "Sall{\'{e}}, P.",
title        =   "Une extension de la theorie des types en $\lambda$-calcul",
note         =   "Lecture Notes in Computer Science No. 62",
pages        =   "398-410",
publisher    =   "Springer-Verlag",
checked      =   "Not checked",
source       =   "Bib page sent to me by Cardone",
year         =   1982)


@article         {CardoneCoppo91,
author       =   "Felice Cardone and Mario Coppo",
title        =   "Type inference with recursive types. {S}yntax and Semantics",
journal      =   "Information and Computation",
year         =   "1991",
volume       =   "92",
number       =   "1",
pages        =   "48--80",
source       =   "Dezani",
}

@incollection    (CardoneCoppo90,
author       =   "Felice Cardone and Mario Coppo",
title        =   "Two Extensions of {C}urry's Type Inference System",
pages        =   "19--76",
crossref     =   "Odifreddi90")

@incollection    (Gallier90,
author       =   "Jean H. Gallier",
title        =   "On {G}irard's ``Candidats de Reductibilit\'{e}''",
pages        =   "123--203",
crossref     =   "Odifreddi90")

@unpublished     (Hindley89,
author       =   "J. Roger Hindley",
title        =   "{C}oppo-{D}ezani-{S}all\'{e} Types in Lambda-Calculus, An Introduction",
note         =   "Draft manuscript",
year         =   "1989",
month        =   feb,
checked      =   "checked")

@techreport      (Reynolds88,
author       =   "John C. Reynolds",
title        =   "Preliminary Design of the Programming Language
                  {F}orsythe",
institution  =   "Carnegie Mellon University",
month        =   jun,
year         =   1988,
checked      =   "Checked",
number       =   "CMU-CS-88-159",
ascii        =   {John C. Reynolds, 
                  "Preliminary Design of the Programming Language Forsythe."
                  Technical report number CMU-CS-88-159, 
                  Carnegie Mellon University, 
                  June, 1988.
                  }
)

@unpublished     (Yokouchi90,
author       =   "Hirofumi Yokouchi",
title        =   "Relationship Between Polymorphic Types and
                  Intersection Types (extended abstract)",
note         =   "Unpublished manuscript",
checked      =   "Probably out of date!",
month        =   dec,
year         =   1990)

@inproceedings   (Reynolds91,
author       =   "John C. Reynolds",
title        =   "The Coherence of Languages with Intersection Types",
crossref     =   "TACS91",
pages        =   "675--700")


@article         {BarbaneraDL95,
title        =   {Intersection and Union Types: Syntax and Semantics},
author       =   {Franco Barbanera and Mariangiola Dezani-Ciancaglini and Ugo
                  de'Liguoro},
pages        =   {202--230},
journal      =   "Information and Computation",
month        =   jun,
year         =   1995,
volume       =   119,
number       =   2,
source       =   {ftp://theory.lcs.mit.edu/pub/iandc/iandc.bib}
}
                  
@inproceedings   (Barbanera91,
author       =   "Franco Barbanera and Mariangiola Dezani-Ciancaglini",
title        =   "Intersection and Union Types",
crossref     =   "TACS91",
pages        =   "651--674")

@inproceedings   (Hayashi:SUITTACS:hisversion,
author       =   "Hayashi, S.",
title        =   "Singleton, Union and Intersection Types for Program 
                  Extraction",
booktitle    =   "Theoretical Aspect of Computer Software
                  (Lecture Notes in Comuter Science No. 526)",    
editor       =   "T.Ito and A.R.Meyer",
year         =   "1991",
publisher    =   "Springer-Verlag",
address      =   "Berlin",
pages        =   "701-730")

@inproceedings   (Hayashi91,
author       =   "Susumu Hayashi",
title        =   "Singleton, Union and Intersection Types for Program Extraction",
crossref     =   "TACS91",
pages        =   "701--730",
note         =   "Full version in {\em Information and Computation}, 
                  109(1/2):174-210, 1994",
)

@article         {Cardone-Dezani-Liguoro'94,
author       =   "F. Cardone and {Dezani-Ciancaglini}, M. and U. de' Liguoro",
title        =   "Combining type disciplines",
journal      =   "Annals of Pure and Applied Logic",
volume       =   "66",
pages        =   "197-230",
year         =   "1994"
}

@incollection    {Pottinger80,
author       =   "Garrell Pottinger",
title        =   "A Type Assignment for the Strongly Normalizable $\lambda$-Terms",
booktitle    =   "To H. B. Curry: Essays on Combinatory Logic, 
                  Lambda Calculus, and Formalism",
publisher    =   "Academic Press",
address      =   "New York",
year         =   1980,
pages        =   "561--577",
checked      =   "Book info not checked; title, author, and pages are reliable",
source       =   "Physical copy; book info Cribbed from rwhbib"}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%                         Recursive Types                          %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@inproceedings   {Kozen&93,
author       =   "Dexter Kozen and Jens Palsberg and Michael I.
                  Schwartzbach.",
title        =   "Efficient Recursive Subtyping",
booktitle    =   "Proceedings POPL '93",
pages        =   "419--428",
year         =   "1993",
keywords     =   "types olit popl93",
url          =   "ftp://daimi.aau.dk/pub/palsberg/papers/popl93.ps.Z",
}

@inproceedings   {AbadiPlotkin90,
author       =   "M Abadi and G. D. Plotkin",
title        =   "A {PER} model of polymorphism and recursive types",
booktitle    =   "Proc. IEEE Symp. on Logic in Computer Science",
year         =   "1990",
pages        =   "355--365",
}

@inproceedings   {TiurynWand1993TAPSOFT,
author       =   "Jerzy Tiuryn and Mitchell Wand",
title        =   "Type Reconstruction with Recursive Types and Atomic
                  Subtyping",
pages        =   "686--701",
booktitle    =   "Proceedings of TAPSOFT '93",
source       =   "The web",
year         =   1993,
}

@article         {Amadio91,
author       =   "Roberto M. Amadio",
title        =   "Recursion over realizability structures",
journal      =   "Information and Computation",
volume       =   "90",
number       =   "2",
pages        =   "55--85",
year         =   "1991",
source       =   "jcm.bib and iandcomp",
}

@article         (Courcelle83,
author       =   "B. Courcelle",
title        =   "Fundamental Properties of Infinite Trees",
journal      =   "Theoretical Computer Science",
year         =   1983,
volume       =   25,
pages        =   "95--169",
source       =   "AmadioCardelli91",
checked      =   no)

@article         (AmadioCardelli93,
author       =   "Roberto M. Amadio and Luca Cardelli",
title        =   "Subtyping Recursive Types",
journal      =   toplas, 
year         =   "1993",
volume       =   15,
number       =   4,
source       =   "luca",
pages        =   "575--631",
note         =   "A preliminary version appeared in POPL '91
                  (pp.~104--118), and as DEC Systems Research Center 
                  Research Report number 62, August 1990",
)


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%                      Miscellaneous Types                         %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings   (PlotkinAbadiCardelli94,
author       =   "Gordon Plotkin and Mart\'{\i}n Abadi and Luca Cardelli",
title        =   "Subtyping and Parametricity",
booktitle    =   "Proceedings of the Ninth IEEE Symposium on Logic in 
                  Computer Science",
pages        =   "310--319",
checked      =   yes,
year         =   1994)

@incollection    {Barendregt92,
author       =   "Henk Barendregt",
title        =   "Lambda Calculi with Types",
booktitle    =   "Handbook of Logic in Computer Science",
volume       =   "II",
editor       =   "Abramsky, Gabbay and Maibaum",
publisher    =   "Oxford University Press",
year         =   "1992"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%                          Miscellaneous                           %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@incollection    {CardelliCRC,
author       =   "Luca Cardelli",
title        =   "Type Systems",
booktitle    =   "Handbook of Computer Science and Engineering",
publisher    =   "CRC Press",
year         =   "1996",
editor       =   "Allen B. Tucker",
note         =   "To appear",
}

@article         {Baker92,
author       =   "Henry G. Baker",
title        =   "Lively Linear Lisp -- Look Ma, No Garbage!",
optcrossref  =   "",
optkey       =   "",
journal      =   "ACM Sigplan Notices",
year         =   "1992",
volume       =   "27",
number       =   "8",
pages        =   "89-98",
source       =   "kobayashi",
}

@inproceedings   {Wadler91PEPM,
author       =   "Philip Wadler",
title        =   "Is there a use for linear logic?",
pages        =   "255--273",
booktitle    =   "Proceedings of ACM Symposium on Partial Evaluation and
                  Semantics-Based Program Manipulation",
year         =   "1991",
source       =   "kobayashi",
}

@article         {Baker94,
author       =   "Henry G. Baker",
title        =   "A Linear Logic Quicksort",
journal      =   "ACM Sigplan Notices",
year         =   "1994",
volume       =   "29",
number       =   "2",
pages        =   "13-18",
source       =   "kobayashi",
}

@inproceedings   {TurnerWadlerMossin95,
author       =   "David N Turner and Philip Wadler and Christian
                  Mossin",
booktitle    =   FPCA,
title        =   "Once upon a type",
year         =   "1995",
address      =   "San Diego, California",
url          =   "ftp://ftp.dcs.gla.ac.uk/pub/glasgow-fp/authors/Philip_Wadler/once.dvi",
keywords     =   "extended Hindley-Milner for linear types",
scope        =   "imptype",
}

@article         {Abramsky90,
author       =   "Samson Abramsky",
title        =   "Computational Interpretations of Linear Logic",
journal      =   "Theoretical Computer Science",
month        =   apr # " 12",
year         =   "1993",
volume       =   "111",
number       =   "1--2",
pages        =   "3--57",
comments     =   "Also available as Research
                  Report DOC 90/20, Department of Computing, Imperial
                  College, October 1990",
checked      =   "4 January 1994",
}

@inproceedings   (Weise94,
author       =   "Daniel Weise and Roger F. Crew and Michael Ernst and
                  Bjarne Steensgaard" ,
title        =   "Value Dependence Graphs: {R}epresentation Without 
                  Taxation", 
booktitle    =   proc # " Twenty-First " # POPL # ", Portland, Oregon",
publisher    =   "ACM" ,
year         =   1994,
month        =   jan,
pages        =   "297--310",
checked      =   yes,
)

@techreport      {PlotkinGD:settda,
author       =   {Gordon Plotkin},
title        =   {A Set-theoretical Definition of Application},
institution  =   {School of A.I., Univ. of Edinburgh},
number       =   {MIP-R-95},
year         =   1972}}

@inproceedings   {Howe89,
author       =   {Howe, Douglas J.},
title        =   {Equality In Lazy Computation Systems},
crossref     =   {LICS4},
pages        =   {198--203},
source       =   "Meyer's lics.bib",
}

@inproceedings   (MeyerSieber88,
author       =   "Meyer, A.R. and Sieber, K.",
title        =   "Towards fully abstract semantics for local variables:
                  preliminary report", 
booktitle    =   "Proceedings of the 15th ACM Symposium on Principles 
                  of Programming Languages",
month        =   "January", 
year         =   "1988",
pages        =   "191--203")

@incollection    (Levy80,
author       =   "Jean-Jaques L\'evy",
title        =   "Optimal Reductions in the Lambda-Calculus",
checked      =   yes,
pages        =   "159--191",
crossref     =   "CurryFestschrift")

@inproceedings   {MasonTalcott89,
author       =   {Mason, Ian A. and Talcott, Carolyn},
title        =   {Axiomatizing Operational Equivalence in the Presence of Side
                  Effects},
crossref     =   {LICS4},
pages        =   {284--293},
note         =   {Extended version appeared as ``Inferring the equivalence of
                  functional programs that mutate data,'' {\em 
                  Theoretical Computer
                  Science}, 105(2):167-215, 9 November 1992.},
source       =   "Meyer's lics.bib",
}

@InProceedings{MasonTalcott92,
title={References, Local Variables and Operational Reasoning},
author={Ian A. Mason and Carolyn L. Talcott},
pages={186--197},
crossref={LICS7},
source       =   "Meyer's lics.bib",
}

@inproceedings   {PittsAM:obsphown,
author       =   {Andrew M. Pitts and Ian D. B. Stark},
title        =   {Observable Properties of Higher Order Functions That
                  Dynamically Create Local Names, or: What's new?}, 
booktitle    =   {Mathematical Foundations of Computer Science, Proc.\ 18th
                  Int.\ Symp., {Gda{\'n}sk}, 1993},
series       =   {Lecture Notes in Computer Science},
volume       =   711,
publisher    =   {Springer-Verlag, Berlin},
year         =   1993,
pages        =   {122--141},
source       =   "PittsAM.bib, with first names filled in from title page of
                  paper by bcp",
abstract     =   {The research reported in this paper is concerned with
                  the problem of reasoning about properties of higher
                  order functions involving state.  It is motivated by
                  the desire to identify what, if any, are the
                  difficulties created purely by {\em locality\/} of
                  state, independent of other properties such as
                  side-effects, exceptional termination and
                  non-termination due to recursion. We consider a
                  simple language (equivalent to a fragment of
                  Standard ML) of typed, higher order functions that
                  can dynamically create fresh {\em names\/}; names
                  are created with local scope, can be tested for
                  equality and can be passed around via function
                  application, but that is all. Despite the extreme
                  simplicity of the language and its operational
                  semantics, the observable properties of such
                  functions are shown to be very subtle. A notion of
                  `logical relation' is introduced which incorporates
                  a version of {\em representation independence\/} for
                  local names. We show how to use it to establish
                  observational equivalences. The method is shown to
                  be complete (and decidable) for expressions of first
                  order types, but incomplete at higher types.}}

@inproceedings   (Nadathur88,
author       =   "Gopalan Nadathur and Dale Miller" ,
title        =   "An Overview of {$\lambda$Prolog}" ,
booktitle    =   "Logic Programming: Proceedings of the Fifth
                  International Conference and Symposium, Volume 1" ,
publisher    =   "MIT Press" ,
month        =   "August" ,
year         =   "1988" ,
editor       =   "Robert A. Kowalski and Kenneth A. Bowen" ,
address      =   "Cambridge, Massachusetts" ,
pages        =   "810--827",
source       =   "ergobib"
)

@book            {GunterBook,
author       =   "C. A. Gunter",
title        =   "Semantics of Programming Languages: Structures and
                  Techniques",
publisher    =   mp,
address      =   "Cambridge, MA",
year         =   "1992",
}

@book            {MitchellBook,
author       =   "John C. Mitchell",
title        =   "Foundations of Programming Languages",
publisher    =   mp,
address      =   "Cambridge, MA",
year         =   "1996",
note         =   "To appear"
}

@book            {AbadiCardelliBook,
author       =   "Mart\'{\i}n Abadi and Luca Cardelli",
title        =   "A Theory of Objects",
publisher    =   "Springer-Verlag",
year         =   "1996",
note         =   "To appear"
}

@book            {GordonAD94,
author       =   "Andrew D. Gordon",
title        =   "Functional Programming and Input/Output",
publisher    =   "Cambridge University Press",
year         =   "1994",
source       =   "Cambridge UL catalog",
}

@unpublished     {Pollack90:duplicate,
author       =   "Robert Pollack",
title        =   "Implicit Syntax",
note         =   "Informal Proceedings of First Workshop on 
                  Logical Frameworks, Antibes",
year         =   "1990",
month        =   may,
checked      =   "There must be a better reference by now!"
}

@book            {NPS90,
author       =   "Jan Smith and Bengt Nordstr{\"{o}}m and Kent Petersson",
title        =   "Programming in {M}artin-L{\"{o}}f's Type Theory. An
                  Introduction",
publisher    =   "Oxford University Press",
year         =   1990
}

@book            {TennentBook,
author       =   "R. D. Tennent",
title        =   "Principles of Programming Languages",
publisher    =   "Prentice-Hall",
year         =   1981,
source       =   "Cambridge UL catalogue (no first name given)",
}

@book            {JonesGomardSestoftBook,
author       =   "Niel D. Jones and Carsten K. Gomard and Peter Sestoft",
title        =   "Partial Evaluation and Automatic Program Generation",
publisher    =   "Prentice-Hall International",
year         =   1993,
source       =   "CMU-CS-94-129 (Malmkjaer, Neintze, Danvy)",
}

@book            {WinskelBook,
author       =   "Glynn Winskel",
title        =   "The Formal Semantics of Programming Languages: 
                  {A}n Introduction",
publisher    =   "MIT Press",
year         =   1993,
checkedc     =   yes,
}

@book            {DavisBook,
author       =   "Martin Davis",
title        =   "Computability and Unsolvability",
publisher    =   "Dover",
year         =   1982,
note         =   "Previous edition 1958",
source       =   "Cambridge UL catalogue",
}

@book            {PeytonJonesLesterBook,
author       =   "Peyton Jones, Simon L. and Lester, David R.",
title        =   "Implementing Functional Languages",
publisher    =   "Prentice Hall",
year         =   1992,
checked      =   yes,
}

@article         {Harper&92,
author       =   "Robert Harper and Furio Honsell and Gordon Plotkin",
title        =   "A Framework for Defining Logics",
year         =   1992,
volume       =   40,
number       =   1,
pages        =   "143--184",
journal      =   jacm,
note         =   "Preliminary version in {LICS'87}",
source       =   "rap"
}

@phdthesis       (CompagnoniThesis,
author       =   "Adriana B. Compagnoni" ,
title        =   "Higher-Order Subtyping with Intersection Types",
year         =   "1995" ,
month        =   jan,
school       =   "Catholic University, Nigmegen",
)

@phdthesis       {Luo90,
author       =   "Zhaohui Luo",
title        =   "An Extended Calculus of Constructions",
school       =   "Department of Computer Science, University of Edinburgh",
year         =   1990,
month        =   jun
}

@phdthesis       {MorrisThesis,
author       =   "James H. Morris",
title        =   "Lambda-Calculus Models of Programming Languages",
school       =   "Massachusetts Institute of Technology",
year         =   1968,
month        =   dec,
checked      =   yes,
}

@incollection    {deBruijn80,
author       =   "Nicolas G. de Bruijn",
title        =   "A survey of the project {AUTOMATH}",
booktitle    =   "To H. B. Curry: Essays in Combinatory 
                  Logic, Lambda Calculus, and Formalism",
editor       =   "J. P. Seldin and J. R. Hindley",
publisher    =   "Academic Press",
year         =   1980,
pages        =   "589--606"
}

@book            (Ada,
author       =   "US Dept. of Defense",
title        =   "Reference Manual for the Ada Programming Language",
publisher    =   "GPO 008-000-00354-8",
year         =   "1980")

% SRC56.ps      L.Cardelli, X.Leroy: 
%                Abstract types and the dot notation
%                Mar 10, 1990 (Revised 1991)
%                ---- Published in:
%                M. Broy and C.B. Jones (Editors)
%                Programming Concepts and Methods, pp.479-504,
%                North-Holland, 1990.

@phdthesis       (Berardi90,
author       =   "S. Berardi" ,
title        =   "Type dependence and constructive mathematics" ,
school       =   "Dipartimento di Matematica, Universit{\`a} di Torino" ,
year         =   "1990" ,
source       =   "Barendregt tech report"
)

@unpublished     {Terlouw89,
author       =   "J. Terlouw",
title        =   "Een nadere bewijstheoretische analyse van {GSTT}s", 
year         =   "1989",
note         =   "Manuscript, University of Nijmegen, Toernooiveld I, 6525 ED
                  Nijmegen, The Netherlands",
source       =   "Bardendregt tech rep"}

@InProceedings{Smolka:GammaCalculus:94,
author  = {Gert Smolka},
title   = {{A Foundation for Concurrent Constraint Programming}},
booktitle = CCL,
address = {Munich, Germany},
series  = LNCS,
volume  = {845},
month   = sep,
year    =  {1994},
note    = {Invited Talk}
}

@techreport      (SeveriPoll93,
author       =   "Paula Severi and Erik Poll" ,
title        =   "Pure Type Systems with Definitions",
institution  =   "Eindhoven University of Technology" ,
type         =   "Computing science note" ,
number       =   "93/24",
year         =   "1993",
month        =   sep,
)

@article         (Barendregt:GTS,
author       =   "Henk Barendregt",
title        =   "Introduction to Generalized Type Systems",
journal      =   "Journal of Functional Programming",
year         =   1992,
)

@article         (Bainbridge90,
author       =   "S. Bainbridge and P. Freyd and A. Scedrov and P. Scott",
title        =   "Functorial Polymorphism",
journal      =   TCS,
year         =   1990,
volume       =   70,
source       =   "Rosolini",
pages        =   "35--64")

@incollection    {OHearnTennent92,
author       =   "P. W. O'Hearn and R. D. Tennent",
title        =   "Semantics of Local Variables",
booktitle    =   "Applications of Categories in Computer Science",
editor       =   "M. P. Fourman and P. T. Johnstone and A. M. Pitts",
year         =   "1992",
pages        =   "217-238",
publisher    =   "Cambridge University Press",
address      =   "Cambridge",
source       =   "rdt.bib"
}

@inproceedings   {REYNOLDS83,
author       =   "Reynolds, J. C.",
title        =   "Types, Abstraction, and Parametric Polymorphism",
booktitle    =   "Information Processing 83",
editor       =   "R. E. A. Mason",
publisher    =   "Elsevier Science Publishers B. V. (North-Holland)",
address      =   "Amsterdam",
year         =   "1983",
pages        =   "513--523",
entered      =   "3:47pm  Monday, 18 August 1986",
checked      =   "checked January 1988"  ,
source       =   "jcrbib"}

@article         ( COQUAND88,
key          =   "Coquand88" ,
author       =   "Thierry Coquand and G\'{e}rard Huet" ,
title        =   "The {Calculus of Constructions}" ,
journal      =   "Information and Computation" ,
volume       =   "76" ,
number       =   "2/3" ,
month        =   "February/March" ,
year         =   "1988" ,
pages        =   "95--120" ,
source       =   "ergobib"
)

@phdthesis       ( COQUAND85C,
key          =   "Coquand85c" ,
author       =   "Thierry Coquand" ,
title        =   "Une Th\'{e}orie des Constructions" ,
school       =   "University Paris VII" ,
month        =   jan ,
year         =   "1985" ,
source       =   "ergobib",
)

@unpublished     (Jensen91,
author       =   "Thomas P. Jensen",
title        =   "Strictness Analysis in Logical Form",
note         =   "Unpublished manuscript",
checked      =   "Not checked",
year         =   1991)

@techreport      (Mitchell89:TR:old,
author       =   "John C. Mitchell",
title        =   "Type Systems for Programming Languages",
institution  =   "Department of Computer Science, Stanford University",
year         =   "1989",
month        =   jul,
number       =   "STAN-CS-89-1277",
note         =   "To appear as a chapter in Handbook of Theoretical
                  Computer Science, van Leeuwen et al., North-Holland.
                  \finish{Must have appeared!}")

@article         (Plotkin77,
author       =   "G. D. Plotkin",
title        =   "{LCF} Considered as a Programming Language",
journal      =   "Theoretical Computer Science",
year         =   1977,
volume       =   5,
pages        =   "223--255")

@article         (HarperMitchell9X,
author       =   "Robert Harper and John Mitchell",
title        =   "On the Type Structure of {S}tandard {ML}",
journal      =   TOPLAS,
year         =   1992,
note         =   "To appear.  An earlier version titled ``The Essence of
                  {ML}'' (Mitchell and Harper), appeared in the Proceedings of
                  the Fifteenth ACM Symposium on Principles of
                  Programming Languages, San Diego, CA, January 1988")

@inproceedings   (KuoMishra89,
author       =   "Tsung-Min Kuo and Prateek Mishra",
title        =   "Strictness Analysis: {A} New Perspective Based on
                  Type Inference",
booktitle    =   "Proceedings of the fourth International Conference
                  on Functional Programming and Computer Architecture",
year         =   "1989",
month        =   sep,
checked      =   yes,
pages        =   "260--272")

@inproceedings   (Giannini88,
author       =   "Paola Giannini and Simona Ronchi Della Rocca",
title        =   "Characterization of typings in polymorphic type discipline",
booktitle    =   "IEEE Symposium on Logic in Computer Science",
year         =   "1988",
checked      =   "Yes, but needs month and full title",
pages        =   "61--70")

@inproceedings   (Mitchell&87,
author       =   "Mitchell, John C. and Moggi, Eugenio", 
title        =   "Kripke-style models for typed lambda calculus",
booktitle    =   "IEEE Symposium on Logic in Computer Science",
month        =   jun,Year="1987",
pages        =   "303--314")

@techreport      (Cardelli86b,
author       =   "Luca Cardelli",
title        =   "A Polymorphic {$\lambda$-calculus} with {Type:Type}",
institution  =   "DEC Systems Research Center",
number       =   "10",
month        =   may,
type         =   "Research report",
year         =   "1986")

@misc            (Bruce95survey,
author       =   "Kim B. Bruce",
title        =   "Typing in object-oriented languages: 
                  Achieving expressibility and safety",
year         =   1995,
note         =   "Available through {\tt http://www.cs.williams.edu/~kim}",
)

@misc            (Hayashi90,
author       =   "Susumu Hayashi",
howpublished =   "Lecture on Union Types at the Logical Frameworks
                  meeting, Antibes, May 1990",
source       =   "Email from Hayashi",)

@misc            (Hayashi90:Email:personal,
author       =   "Susumu Hayashi",
year         =   1990,
month        =   dec,
howpublished =   "Personal communication",)

@unpublished     (Hayashi&90b:dontuse,
author       =   "Susumu Hayashi and Yukihide Takayama",
title        =   "Extended projection method with {K}reisel-{T}roelstra
                  realizability", 
note         =   "Submitted to Information and Computation",
year         =   1990,
source       =   "Email from Hayashi",
comment      =   "The title hayashi gave in his message was different
                  from the draft he sent (Extended Projection Method and
                  Realizability Interpretation); I'm not sure about
                  order of authors, either.")

@inproceedings   (Jategaonkar&88,
author       =   "Lalita A. Jategaonkar and John C. Mitchell",
title        =   "{ML} with Extended Pattern Matching and Subtypes
                  (preliminary version)",
booktitle    =   "Proceedings of the ACM Conference on Lisp and 
                  Functional Programming",
month        =   jul ,
address      =   "Snowbird, Utah",
year         =   "1988" ,
pages        =   "198--211")

@inproceedings   (Cardone89,
author       =   "Felice Cardone",
title        =   "Relational Semantics for Recursive Types and Bounded
                  Quantification",
booktitle    =   "Proceedings of the Sixteenth International Colloquium
                  on Automata, Languages, and Programming",
publisher    =   "Springer-Verlag" ,
month        =   jul ,
address      =   "Stresa, Italy",
year         =   "1989" ,
series       =   "Lecture Notes in Computer Science",
volume       =   "372",
pages        =   "164--178")

@inproceedings   (Remy89,
key          =   "Remy",
author       =   "Didier R{\'{e}}my",
title        =   "Typechecking records and variants in a natural extension 
                  of {ML}",
booktitle    =   "Proceedings of the Sixteenth Annual ACM Symposium
                  on Principles of Programming Languages, Austin" ,
publisher    =   "ACM" ,
month        =   jan ,
year         =   "1989" ,
pages        =   "242--249",
note         =   "Also in~"#taoop#"."
)

@techreport      (Cardelli&89TR,
author       =   "Luca Cardelli and John C. Mitchell",
title        =   "Operations on Records",
institution  =   "Digital Equipment Corporation, Systems Research Center",
year         =   "1989",
type         =   "Research Report",
month        =   aug,
number       =   "48")

@article         (MITCHELL88a,
author       =   "John Mitchell and Gordon Plotkin",
title        =   "Abstract Types Have Existential Type",
journal      =   "ACM Transactions on Programming Languages and Systems",
year         =   1988,
volume       =   10,
number       =   3,
month        =   jul)

% John Mitchell and Gordon Plotkin, Abstract Types Have Existential
% Type.  ACM Transactions on Programming Languages and Systems, volume
% 10, number 3, July 1988.

@article         (BurnHankinAbramsky86,
author       =   "G.L. Burn and C.L. Hankin and S. Abramsky",
title        =   "The theory and practice of strictness analysis",
journal      =   "Science of Programming",
year         =   1986,
volume       =   7,
pages        =   "249--278",
source       =   "Jensen91")

@techreport      (CLEMENT85,
author       =   "Dominique Cl\'{e}ment and Jo\doublequote{e}lle Despeyroux and
                  Thierry Despeyroux and Laurent Hascoet and Gilles Kahn",
title        =   "Natural Semantics on the Computer",
institution  =   "{INRIA}",
year         =   "1985",
month        =   jun,
number       =   "RR 416")

@techreport      (DESPEYROUX88,
author       =   "Thierry Despeyroux",
title        =   "Typol: a formalism to implement Natural Semantics",
institution  =   "{INRIA}",
year         =   "1988",
month        =   mar,
number       =   "94")

@inproceedings   (KAHN87,
author       =   "Gilles Kahn",
title        =   "Natural Semantics",
booktitle    =   "Proceedings of  the Symposium on Theoretical Aspects
                  of Computer Science",
year         =   1987,
address      =   "Passau, Germany",
month        =   feb,
note         =   "Proceedings published as Springer-Verlag Lecture 
                  Notes in Computer Science 247. The paper is also available as
                  INRIA Report 601, February, 1987.") 

@inproceedings   (BORRAS88,
author       =   "P. Borras and D. Clement and T. Despeyroux and J. Incerpi 
                  and G. Kahn and B. Lang and V. Pascual",
title        =   "{CENTAUR}: the system",
booktitle    =   "Proceedings of  the Third Annual Symposium on 
                  Software Development Environments (SIGSOFT'88)",
year         =   1988,
address      =   "Boston",
month        =   nov)

@inproceedings   (Boehm89,
author       =   "Hans-J. Boehm",
title        =   "Type Inference in the Presence of Type Abstraction",
booktitle    =   "Proceedings of the SIGPLAN '89 Conference on
                  Programming Language Design and Implementation",
year         =   1989,
month        =   jun,
address      =   "Portland, OR",
pages        =   "192--206")

@inproceedings   (DAMAS82,
key          =   "Damas82" ,
author       =   "Luis Damas and Robin Milner" ,
title        =   "Principal Type Schemes for Functional Programs" ,
booktitle    =   "Proceedings of the 9th {ACM} Symposium on
                  Principles of Programming Languages" ,
year         =   "1982" ,
pages        =   "207--212" ,
source       =   "From ergobib",
checked      =   "Not checked"
)

@inproceedings   (REYNOLDS74,
key          =   "Reynolds74" ,
author       =   "John Reynolds" ,
title        =   "Towards a Theory of Type Structure" ,
booktitle    =   "Proc. Colloque sur la Programmation" ,
publisher    =   "Springer-Verlag LNCS 19" ,
address      =   "New York" ,
year         =   "1974" ,
pages        =   "408--425" ,
source       =   "From ergobib",
checked      =   "Not checked"
)


@inproceedings   {Hodas92,
author       =   "J. S. Hodas",
title        =   "Lolli: An Extension of $\lambda${P}rolog with Linear
                  Context Management",
editor       =   "D. Miller",
booktitle    =   "Workshop on the $\lambda$Prolog Programming Language",
address      =   "Philadelphia, Pennsylvania",
pages        =   "159--168",
year         =   "1992",
month        =   aug,
url          =   "file://ftp.cis.upenn.edu/pub/Lolli/papers/lppl.dvi.Z",
}

@article         {Mackie94,
author       =   "Ian Mackie",
journal      =   JFP,
title        =   "Lilac: {A} functional programming language based on
                  Linear Logic",
year         =   "1994",
url          =   "http://lix.polytechnique.fr/~mackie/papers/jfp94.ps.gz",
month        =   oct,
number       =   "4",
pages        =   "395--433",
volume       =   "4",
source       =   "Bibliography of the SEL-HPC Article Archive",
}

@article         {Girard87,
author       =   "Jean-Yves Girard",
title        =   "Linear Logic",
journal      =   "Theoretical Computer Science",
volume       =   "50",
year         =   "1987",
pages        =   "1--102",
source       =   "jcm.bib",
}

@book            (Girard89,
author       =   "Jean-Yves Girard and Yves Lafont and Paul Taylor" ,
title        =   "Proofs and Types" ,
publisher    =   "Cambridge University Press" ,
address      =   "Cambridge" ,
series       =   "Cambridge Tracts in Theoretical Computer Science" ,
year         =   "1989" ,
volume       =   "7" ,
checked      =   Yes)

@phdthesis       (GIRARD72,
key          =   "Girard72" ,
author       =   "Jean-Yves Girard" ,
title        =   "Interpr\'{e}tation fonctionelle et \'{e}limination
                  des coupures de l'arith\-m\'{e}\-tique d'ordre 
                  sup\'{e}rieur" , 
school       =   "Universit\'{e} Paris VII" ,
year         =   "1972" ,
source       =   "From ergobib",
checked      =   "Not checked"
)

@techreport      (Harper88a,
author       =   "Robert Harper",
title        =   "Constructing type systems over an operational semantics",
institution  =   "Laboratory for the Foundations of Computer 
                  Science, Edinburgh University",
number       =   "ECS--LFCS--88--59",
month        =   jul,
year         =   "1988",
checked      =   "Not checked",
source       =   "rwhbib")

@inproceedings   {burstall&84,
author       =   "Rod Burstall and Butler Lampson",
title        =   "A kernel language for abstract data types and modules",
booktitle    =   "Semantics of Data Types",
editor       =   "G. Kahn and D. MacQueen and G. Plotkin",
publisher    =   "Springer Verlag",
series       =   "Lecture Notes in Computer Science", 
volume       =   173,
year         =   1984,
pages        =   "1--50",
source       =   "From rwhbib"
}

@inproceedings   {Damas&82,
author       =   "Luis Damas and Robin Milner",
title        =   "Principal type schemes for functional programs",
booktitle    =   "Proceedings of the 9th {ACM} Symposium on the 
Principles of Programming Languages",
year         =   1982,
pages        =   "207--212",    
source       =   "From rwhbib"
}

@article         {Landin64,
author       =   "P. J. Landin",
title        =   "The mechanical evaluation of expressions",
journal      =   "Computer Journal",
volume       =   6, month=jan, year=1964, pages="308--320",
checked      =   yes,
}

@article         {Landin65,
author       =   "P. J. Landin",
title        =   "A Correspondence Between {ALGOL 60} and {Church's}
                  Lambda-Notation: Parts {I} and {II}",
journal      =   CACM,
year         =   1965,
volume       =   8,
number       =   "2,3",
pages        =   "89--101, 158--165",
month        =   "February and March",
checked      =   yes,
}

@article         {BoehmJacopini,
author       =   "C. Boehm and G. Jacopini",
title        =   "Flow diagrams, {T}uring machines, and
                  languages with only two formation rules",
journal      =   CACM,
year         =   1966,
volume       =   9,
number       =   "5",
pages        =   "366--371",
source       =   "kim bruce"
}

@article         {Turing37,
author       =   "Alan Turing",
title        =   "Computability and $\lambda$-definability",
journal      =   JSL,
year         =   1937,
volume       =   2,
pages        =   "153--163",
checked      =   no,
}

@article         {Landin66,
author       =   "P. J. Landin",
title        =   "The Next 700 Programming Languages",
journal      =   "Communications of the ACM", 
volume       =   9, 
number       =   3, 
month        =   mar,
year         =   1966, 
pages        =   "157--166", 
checked      =   yes}

@article         {Dahl&66,
author       =   "O. J. Dahl and K. Nygaard",
title        =   "{SIMULA}--{A}n {ALGOL}-based simulation language",
journal      =   "Communications of the ACM", 
volume       =   9, 
number       =   9,
month        =   sep,
year         =   1966, pages="671--678",
source       =   "From Danforth&88"
}

@inproceedings   (Hook84,
author       =   "Hook, J.G.",
title        =   "Understanding {R}ussell -- A First Attempt",
booktitle    =   "Proc. Int. Symp. on Semantics of Data Types,
                  Sophia-Antipolis (France), Springer LNCS 173",
publisher    =   "Springer-Verlag", Year="1984",Pages="69-85",
checked      =   "Not checked",
source       =   "From jcmbib")

@techreport      {Fairbairn82,
author       =   "J. Fairbairn",
title        =   "Ponder and its type system",
institution  =   "Computing Laboratory, University of Cambridge",
number       =   "31",
year         =   1982,
note         =   "Reprinted in volume 1 number 2 of {\it Polymorphism: 
                  The {ML}/{LCF}/{HOPE} Newsletter}, (1983)",
checked      =   "Not checked",
source       =   "From rwhbib"
}

@inproceedings   (Meyer&86,
author       =   "Albert R. Meyer and John C. Mitchell 
                  and Eugenio Moggi and Richard Statman", 
title        =   "Empty types in polymorphic lambda calculus",
booktitle    =   "Proc. 14th ACM Symp. on Principles of 
                  Programming  Languages",
month        =   jan,
year         =   "1987",
pages        =   "253--262",
checked      =   "Not checked",
source       =   "Partly cribbed from jcmbib")

@misc            (Cardelli89:AugEmail,
author       =   "Luca Cardelli",
howpublished =   "Personal communication",
checked      =   "Not checked",
month        =   aug, Year="1989")

@misc            (Pollack89,
author       =   "Randy Pollack",
howpublished =   "Personal communication",
checked      =   "Not checked",
year         =   "1989")

@article         (Scott76,
author       =   "Scott, Dana",
title        =   "Data Types as Lattices",
journal      =   "SIAM Journal on Computing",
volume       =   "5",
number       =   "3",
year         =   "1976",
pages        =   "522-587",
checked      =   "Not checked",
source       =   "Cribbed from jcmbib")

@inproceedings   (MacQueen86,
author       =   "David B. Mac{Q}ueen",
title        =   "Using dependent types to express modular structure",
booktitle    =   "Proceedings of the Symposium
                  on Principles of Programming Languages" ,
publisher    =   "ACM" ,
year         =   "1986" ,
checked      =   "Not checked",
source       =   "Copied from Cardelli88a")

@inproceedings   (BMM91,
author       =   "Kim B. Bruce and Albert R. Meyer and John C. Mitchell",
title        =   "The Semantics of Second-Order Lambda Calculus",
pages        =   "213--272",
checked      =   "yes, but not the I&C",
crossref     =   "HuetYOP",
note         =   "Also appeared in Information and Computation 84, 
                  1 (January 1990)",
)

@techreport      {REYNOLDS89,
author       =   "Reynolds, John C.",
title        =   "Syntactic Control of Interference, Part 2",
type         =   "Report",
number       =   "CMU-CS-89-130",
institution  =   "Carnegie Mellon University",
department   =   "School of Computer Science",
month        =   apr,
year         =   "1989",
source       =   "JCR's bib",
entered      =   "5:45pm  Tuesday, 23 May 1989",
checked      =   "5:45pm  Tuesday, 23 May 1989" }

@phdthesis       (Matthews83,
author       =   "D. Matthews",
title        =   "Programming Language Design with Polymorphism",
school       =   "Cambridge",
year         =   "1983",
checked      =   "Not checked",
source       =   "Cribbed from Danforth88")

@incollection    (Reynolds85:ThreeApproaches,
author       =   "John Reynolds",
title        =   "Three Approaches to Type Structure",
booktitle    =   "Mathematical Foundations of Software Development",
note         =   "Lecture Notes in Computer Science No. 185",
publisher    =   "Springer-Verlag",
checked      =   "Not checked",
year         =   1985)

@inproceedings   (CardelliMacQueen,
author       =   "Luca Cardelli and David Mac{Q}ueen",
title        =   "Persistence and Type Abstraction",
booktitle    =   "Proceedings of the Persistence and Datatypes Workshop",
year         =   1985,
month        =   aug,
note         =   "Proceedings published as University of St. Andrews, Department
                  of Computational Science, Persistent Programming Research
                  Report 16",
checked      =   "Not checked")

@article         (Milner78,
key          =   "Milner78" ,
author       =   "Robin Milner" ,
title        =   "A Theory of Type Polymorphism in Programming" ,
journal      =   "Journal of Computer and System Sciences" ,
volume       =   "17" ,
month        =   aug ,
year         =   "1978" ,
pages        =   "348--375" ,
source       =   "ergobib",
checked      =   "Not checked",
)

@techreport      {Boehm&80,
author       =   "Hans-J{\"u}rgen B{\"o}hm and Alan Demers and James Donahue",
title        =   "An informal description of {R}ussell",
institution  =   "Computer Science Department, Cornell University",
address      =   "Ithaca, New York",
number       =   "80--430",
year         =   1980,
source       =   "From rwhbib",
checked      =   "Not checked",
}

@techreport      {Donahue&79,
author       =   "James E. Donahue and Alan J. Demers",
title        =   "Revised report on {R}ussell",
institution  =   "Computer Science Department, Cornell University",
address      =   "Ithaca, New York",
year         =   1979,
number       =   "79--389",
month        =   sep,
source       =   "From rwhbib -- Danforth&88 disagrees about the order 
                  of authors!",
checked      =   "Not checked",
}

@phdthesis       (Forgy:PHD,
author       =   "Forgy, Charles L.",
title        =   "On the Efficient Implementation of Production Systems",
school       =   "Computer Science Department, Carnegie-Mellon University",
address      =   "Pittsburgh, PA",
checked      =   "Not checked",
year         =   "1979")

@book            (Stroustrup86,
author       =   "Bjarne Stroustrup",
title        =   "The C++ Programming Language",
year         =   "1986",
publisher    =   "Addison-Wesley",
address      =   "Reading, Mass",
checked      =   "yes")

@book            (Nelson90:Modula3Book,
editor       =   "Greg Nelson",
title        =   "Systems Programming with {M}odula-3",
year         =   "1991",
publisher    =   "Prentice Hall",
checked      =   "Not checked",
source       =   "DECSRC Tech Report #72 (Jones)")

@inproceedings   (Mitchell91,
author       =   "John Mitchell and Sigurd Meldal and Neel Madhav",
title        =   "An extension of {S}tandard {ML} modules with
                  subtyping and inheritance",
booktitle    =   "Proceedings of the Eighteenth ACM Symposium on
                  Principles of Programming Languages", 
address      =   "Orlando, FL",
month        =   jan,
year         =   "1991",
checked      =   yes,
pages        =   "270--278")

@inproceedings   (HengleinMairson91,
author       =   "Fritz Henglein and Harry G. Mairson",
title        =   "The Complexity of Type Inference for Higher-Order
                  Typed Lambda-Calculi",
booktitle    =   "Proceedings of the Eighteenth ACM Symposium on
                  Principles of Programming Languages", 
address      =   "Orlando, FL",
month        =   jan,
year         =   "1991",
checked      =   yes,
pages        =   "119--130")

@inproceedings   (Reddy88->KaminReddy94,
author       =   "Uday S. Reddy",
title        =   "Objects as Closures: {A}bstract Semantics of Object
                  Oriented Languages",
booktitle    =   "Proceedings of the 1988 ACM Symposium on
                  Lisp and Functional Programming",
address      =   "Snowbird, Utah",
month        =   jul,
year         =   "1988",
checked      =   yes,
pages        =   "289--297")

@inproceedings   (Kamin88->KaminReddy94,
author       =   "S. Kamin",
title        =   "Inheritance in {S}malltalk-80: A denotational definition",
booktitle    =   "Proceedings of the ACM Symposium on Principles of 
                  Programming Languages",
month        =   jan,
year         =   "1988",
checked      =   no,
pages        =   "80--87",
source       =   "Bruce92",
)

@incollection    (KaminReddy94,
author       =   "Samuel N. Kamin and Uday S. Reddy",
title        =   "Two Semantic Models of Object-Oriented Languages",
booktitle    =   "Theoretical Aspects of Object-Oriented
                  Programming: Types, Semantics, and Language Design",
editor       =   "Carl A. Gunter and John C. Mitchell",
publisher    =   mp,
pages        =   "464--495",
year         =   1994,
checked      =   yes)

@incollection    (Ghelli91a,
author       =   "Giorgio Ghelli",
title        =   "Modelling features of object-oriented languages in
                  second-order functional languages with subtypes",
booktitle    =   "Foundations of Object-Oriented Programming",
editor       =   "J. W. de Bakker and W. P. de Roever and G. Rozenberg",
publisher    =   "Springer-Verlag",
series       =   "Lecture Notes in Computer Science",
volume       =   "489",
pages        =   "311-340",
year         =   1991,
source       =   "Ghelli92")

@inproceedings   (Ghelli91,
author       =   "Giorgio Ghelli",
title        =   "A Static Type System for Message Passing",
booktitle    =   "Conference on Object-Oriented Programming Systems,
                  Languages, and Applications",
address      =   "Phoenix, Arizona",
month        =   oct,
year         =   "1991",
checked      =   yes,
pages        =   "129--143",
note         =   "Distributed as SIGPLAN Notices, Volume 26, Number 11,
                  November 1991")

@book            (Meyer92,
author       =   "Bertrand Meyer",
title        =   "Eiffel: The Language",
year         =   "1992",
publisher    =   "Prentice Hall",
checked      =   "yes")

@book            (Meyer88,
author       =   "Bertrand Meyer",
title        =   "Object-Oriented Software Construction",
year         =   "1988",
publisher    =   "Prentice Hall",
checked      =   "Not checked",
source       =   "From Mitchell89")

@book            (Brownston85,
author       =   "Lee Brownston and R. Farrell and Elaine Kant and N. Martin",
title        =   "Programming Expert Systems in {OPS5}: {A}n Introduction to
                  Rule-based Programming",
year         =   "1985",
checked      =   "Not checked",
publisher    =   "Addison-Wesley")

@book            (MartinLoef,
author       =   "Martin-L{\"o}f, Per",
title        =   "Intuitionistic Type Theory",
year         =   "1984",
checked      =   "Not checked",
publisher    =   "Bibliopolis")

@techreport      (Plotkin:NatSemTR,
author       =   "Gordon D. Plotkin",
title        =   "A Structural Approach to Operational Semantics",
address      =   "Aarhus, Denmark",
institution  =   "Computer Science Department, Aarhus University",
year         =   "1981",
checked      =   "Not checked",
number       =   "DAIMI FN-19")

@book            (Milner&90,
author       =   "Robin Milner and Mads Tofte and Robert Harper",
title        =   "The Definition of {S}tandard {ML}",
publisher    =   mp,
checked      =   yes,
year         =   1990)

@book            (MILNER91,
key          =   "Milner91" ,
author       =   "Robin Milner and Mads Tofte" ,
title        =   "Commentary on Standard {ML}" ,
publisher    =   mp ,
address      =   "Cambridge, Massachusetts" ,
year         =   "1991" ,
source       =   "ergobib"
)

@techreport      (Harper:SML,
author       =   "Robert Harper and Robin Milner and Mads Tofte",
title        =   "The Semantics of {S}tandard {ML}: Version 1",
institution  =   "Computer Science Department, University of Edinburgh",
year         =   "1987",
checked      =   "Not checked",
number       =   "ECS-LFCS-87-36")

@article         (Church:SimplyTyped,
author       =   "Alonzo Church",
title        =   "A Formulation of the Simple Theory of Types",
journal      =   "Journal of Symbolic Logic",
volume       =   "5",
pages        =   "56-68",
checked      =   "Not checked",
year         =   1940)

@article         (Church36,
author       =   "Alonzo Church",
title        =   "An Unsolvable Problem of Elementary Number Theory",
journal      =   "American Journal of Mathematics",
volume       =   "58",
pages        =   "354--363",
checked      =   no,
source       =   "Barendregt HTCS bib",
year         =   1936)

@book            (Church41:CalcOfLambdaConv,
author       =   "Alonzo Church",
title        =   "The Calculi of Lambda Conversion",
publisher    =   "Princeton University Press",
checked      =   "Not checked",
year         =   1941)

@book            (Church56,
author       =   "Alonzo Church",
title        =   "Introduction to Mathematical Logic",
publisher    =   "Princeton University Press",
checked      =   "Not checked",
year         =   1956)

@book            (CLU,
author       =   "B. Liskov and R. Atkinson and T. Bloom and E. Moss
                  and J.C. Schaffert and R. Scheifler and A. Snyder",
title        =   "CLU Reference Manual",
publisher    =   "Springer-Verlag",
checked      =   "Not checked",
year         =   1981)

@techreport      (CedarMesa,
author       =   "Butler Lampson",
title        =   "A Description of the Cedar Language",
institution  =   "Xerox Palo Alto Research Center",
year         =   "1983",
checked      =   "Not checked",
number       =   "CSL-83-15")

@inproceedings   (Leivant90:InfInter,
author       =   "Daniel Leivant",
title        =   "Discrete Polymorphism (Summary)",
booktitle    =   "Proceedings of the 1990 ACM Conference on Lisp and Functional
                  Programming",  
year         =   1990,
pages        =   "288--297",
checked      =   "Not checked",
source       =   "From a mail mesg from Leivant")

@unpublished     (BreazuTannen&89b,
author       =   "V. Breazu-Tannan and C. A. Gunter and A. Scedrov",
title        =   "Computing with Coercions (Extended Abstract)",
note         =   "Preprint",
checked      =   "Not checked",
year         =   1989)

@unpublished     (Gordon:DynamicPaper,
author       =   "Mike Gordon",
title        =   "{A}dding {E}val to {ML}",
note         =   "{P}ersonal communication",
checked      =   "Not checked",
year         =   "circa 1980")

@article         {Henglein92,
author       =   "Henglein, Fritz",
semno        =   "D-163",
title        =   "Dynamic Typing: Syntax and Proof Theory",
journal      =   "Science of Computer Programming",
year         =   "1993",
note         =   "Special Issue on European Symposium on Programming
                  1992 (to appear)"
}

@inproceedings   {Henglein92:ESOP,
author       =   "Henglein, Fritz",
title        =   "Dynamic Typing",
booktitle    =   "Proc. European Symp. on Programming
                  (ESOP), Rennes, France",
year         =   "1992",
pages        =   "233-253",
publisher    =   "Springer",
month        =   feb,
note         =   "Lecture Notes in Computer Science, Vol. 582",
source       =   "From the horse's mouth, except that I altered the first
                  name from F.  Not checked against the orig."
}

@article         (AtkinsonBuneman,
author       =   "Malcolm P. Atkinson and O. Peter Buneman",
title        =   "Types and Persistence in Database Programming Languages",
journal      =   "Computing Surveys",
volume       =   "19",
number       =   "2",
pages        =   "105-190",
month        =   jun,
checked      =   "Not checked",
year         =   1987)

@article         (MPSIdeals,
author       =   "David MacQueen and Gordon Plotkin and Ravi Sethi",
title        =   "An Ideal Model for Recursive Polymorphic Types",
journal      =   "Information and Control",
volume       =   "71",
pages        =   "95-130",
checked      =   "Not checked",
year         =   1986)

@misc            (STRACHEY67,
author       =   "Strachey, C.",
title        =   "Fundamental Concepts in Programming Languages",
howpublished =   "Lecture Notes, International Summer School 
                  in Computer Programming, Copenhagen",
month        =   aug, 
year         =   "1967",
checked      =   "Not checked",
source       =   "Cribbed from jcmbib")

@inproceedings   (Hyland&88,
author       =   "J. Martin E. Hyland and Andrew M. Pitts",
title        =   "The {T}heory of {C}onstructions: categorical semantics 
                  and topos-theoretic models",
booktitle    =   "Proceedings of the Boulder Conference on Categories 
                  in Computer Science",
year         =   1988,
note         =   "To appear",
checked      =   "Not checked",
source       =   "From rwhbib")

@inproceedings   (seely84,
author       =   "R. A. G. Seely",
title        =   "Locally cartesian closed categories and type theory",
organization =   "Cambridge Philosophical Society",
booktitle    =   "Mathematical Proceedings of the 
                  Cambridge Philosophical Society",
volume       =   95,
pages        =   "33--48",
year         =   "1984",
checked      =   "Not checked",
source       =   "From rwhbib")

@inproceedings   {Martin-Loef73,
author       =   "Per {Martin-L\"of}",
title        =   "An intuitionistic theory of types: predicative part",
booktitle    =   "Logic Colloquium, '73",
editor       =   "H. E. Rose and J. C. Shepherdson",
publisher    =   "North Holland",
address      =   "Amsterdam",
pages        =   "73--118",
year         =   1973,
source       =   "Cribbed from rwhbib",
checked      =   "Not checked",
}

% Help!!!
@book            (Simula-67,
author       =   "Graham M. Birtwistle and Ole-Johan Dahl and Bjorn
                  Myhrhaug and Kristen Nygaard",
title        =   "Simula Begin",
publisher    =   "Studentlitteratur (Lund, Sweden), Bratt Institute
                  Fuer Neues Lerned (Goch, FRG), Chartwell-Bratt 
                  Ltd (Kent, England)",
complete     =   "Incomplete",
checked      =   "Not checked",
year         =   1979)

@article         {Cardelli:BasicPolyTypech, 
author       =   "Luca Cardelli", 
title        =   "Basic polymorphic typechecking", 
journal      =   "Science of Computer Programming", 
volume       =   "8", 
number       =   "2", 
pages        =   "147--172", 
month        =   apr, 
year         =   "1987", 
note         =   "An earlier version appeared in the {\em Polymorphism
                  Newsletter}, January, 1985.", 
} 
                  
@article         (Cardelli:BasicPolyTypech:old,
author       =   "Luca Cardelli",
title        =   "Basic Polymorphic Typechecking",
journal      =   polymorphism,
year         =   1985, volume=2, number=1, month="January", 
source       =   "rwh.bib",
)

@article         (Plotkin:CallByNameCallByValue,
author       =   "Gordon Plotkin",
title        =   "Call-by-name, Call-by-value, and the $\lambda$-Calculus",
journal      =   "Theoretical Computer Science",
volume       =   "1",
pages        =   "125-159",
year         =   "1975",
checked      =   "Not checked",
complete     =   "Incomplete",
)

@book            (CurryFeys,
author       =   "H. B. Curry and R. Feys",
title        =   "Combinatory Logic",
volume       =   1,
publisher    =   "North Holland",
year         =   1958,
checked      =   "Not checked",
complete     =   "Incomplete",
)

@unpublished     (AtkinsonMorrison,
author       =   "Malcolm P. Atkinson and Ronald Morrison",
title        =   "Polymorphic Names and Iterations",
month        =   sep,
year         =   "1987",
checked      =   "Not checked",
complete     =   "Incomplete",
note         =   "{D}raft article")

@unpublished     (Mycroft:dynamics,
author       =   "Alan Mycroft",
title        =   "Dynamic Types in {ML}",
checked      =   "Not checked",
complete     =   "Incomplete",
note         =   "{D}raft article",
year         =   1983)

@unpublished     (Huwig&,
author       =   "H. Huwig and A. Poign\'{e}",
title        =   "A note on inconsistencies caused by fixpoints in 
                  a cartesian closed category",
complete     =   "Incomplete",
checked      =   "Not checked",
note         =   "Preprint")

@unpublished     (Remy90:ThesisTrans,
author       =   "Didier R{\'{e}}my",
title        =   "Typechecking Records in a Natural Extension of {ML}",
crossref     =   "GunterMitchellBook",
)

@unpublished     (Modula2+Manual,
author       =   "Mary-Claire van Leunen",
title        =   "Modula-2+ User's Manual",
institution  =   "Digital Systems Research Center",
checked      =   "Not checked",
complete     =   "Incomplete",
note         =   "Internal document",
year         =   "???")

@phdthesis       (Tofte88:Thesis,
author       =   "Mads Tofte",
title        =   "Operational Semantics and Polymorphic Type Inference",
school       =   "Computer Science Department, Edinburgh University",
checked      =   "Not checked",
complete     =   "Incomplete",
year         =   "1988",
note         =   "CST-52-88")

@inproceedings   (REYNOLDS88C,
key          =   "Reynolds88C" ,
author       =   "John Reynolds" ,
title        =   "An Introduction to the Polymorphic Lambda Calculus" ,
checked      =   "Not checked",
complete     =   "Incomplete",
crossref     =   "HuetYOP"
)

@inproceedings   (Mitchell91:YOP,
author       =   "John C. Mitchell" ,
title        =   "A Type-Inference Approach to Reduction Properties
                  and Semantics of Polymorphic Expressions" ,
pages        =   "195--212",
checked      =   yes,
crossref     =   "HuetYOP"
)

@inproceedings   (CurienDiCosmo91,
author       =   "Pierre-Louis Curien and Roberto Di Cosmo",
title        =   "A confluent reduction for the $\lambda$-calculus
                  with surjective pairing and terminal object",
booktitle    =   "ICALP '91",
year         =   "1991",
complete     =   "Incomplete",
checked      =   "only title and authors",
comment      =   "To appear")

@article         (Milner77,
author       =   "Milner, Robin",
title        =   "Fully Abstract Models of Typed Lambda Calculi",
journal      =   "Theoretical Computer Science",
volume       =   "4",
number       =   "1",
year         =   "1977",
source       =   "jcm.bib, with first name filled in by bcp")

@inproceedings   (Thatte90,
author       =   "Satish R. Thatte",
title        =   "Quasi-static Typing (Preliminary report)",
booktitle    =   "Proceedings of the Seventeenth ACM Symposium on
                  Principles of Programming Languages", 
year         =   "1990",
pages        =   "367--381",
complete     =   "Incomplete",
checked      =   "Not checked",
comment      =   "Where and what month?")

@book            (GORDON79,
key          =   "Gordon79" ,
author       =   "Michael J. Gordon and Robin Milner and Christopher
P. Wadsworth" ,
title        =   "Edinburgh {LCF}" ,
publisher    =   "Springer-Verlag LNCS 78" ,
year         =   "1979" ,
keywords     =   "lang, atp, fp",
source       =   "ergobib",
checked      =   "Not checked",
complete     =   "Incomplete",
)

@techreport      (MICHAYLOV89,
key          =   "Michaylov89" ,
author       =   "Spiro Michaylov and Frank Pfenning" ,
title        =   "Compiling the Polymorphic {$\lambda$}-Calculus" ,
institution  =   "School of Computer Science, Carnegie Mellon
                  University" ,
type         =   "Ergo Report" ,
number       =   "89--088" ,
month        =   nov ,
year         =   "1989",
checked      =   "Not checked",
complete     =   "Incomplete",
)

@unpublished     (CartwrightFagan90,
author       =   "Robert Cartwright and Mike Fagan" ,
title        =   "Soft Typing",
month        =   nov ,
year         =   "1990" ,
note         =   "Submitted to PLDI '91" ,
)

@phdthesis       {Fagan90,
author       =   "Mike Fagan",
title        =   "Soft Typing: An Approach to Type Checking for
                  Dynamically Typed Languages" ,
school       =   "Rice University",
year         =   "1990",
month        =   dec,
}

@article         (BOHM85,
key          =   "Bohm85" ,
author       =   {Corrado B\"{o}hm and Alessandro Berarducci} ,
title        =   "Automatic Synthesis of Typed {$\Lambda$}-Programs
                  on Term Algebras" ,
journal      =   "Theoretical Computer Science" ,
volume       =   "39" ,
year         =   "1985" ,
pages        =   "135--154" ,
source       =   "From ergobib",
checked      =   "Not checked",
complete     =   "Incomplete",
)

@incollection    (coquand:inductively,
author       =   "T. Coquand and C. Paulin-Mohring",
title        =   "Inductively defined types",
booktitle    =   "LNCS 389",
publisher    =   "Springer-Verlag",
year         =   "1989",
source       =   "mxh bib",
                  )
                  
@inproceedings   (PFENNING89C,
key          =   "Pfenning89c" ,
author       =   "Frank Pfenning and Christine Paulin-Mohring" ,
title        =   "Inductively Defined Types in the {Calculus of
                  Constructions}" ,
booktitle    =   "Proceedings of the Fifth Conference on the
                  Mathematical Foundations of Programming Semantics,
                  Tulane University, New Orleans, Louisiana" ,
publisher    =   "Springer-Verlag LNCS 442" ,
month        =   mar ,
year         =   "1989" ,
note         =   "Also available as Ergo Report 88--069, School of
                  Computer Science, Carnegie Mellon University" ,
editor       =   "M. Main and A. Melton and M. Mislove and D.
                  Schmidt" ,
pages        =   "209--228" ,
source       =   "From ergobib",
checked      =   "Not checked",
complete     =   "Incomplete",
)

@article         (PFENNING90,
key          =   "Pfenning90" ,
author       =   "Frank Pfenning and Peter Lee" ,
title        =   "Metacircularity in the Polymorphic Lambda-Calculus" ,
journal      =   "Theoretical Computer Science" ,
year         =   "1990" ,
keywords     =   "lam, leap, fp" ,
note         =   "To appear. A preliminary version appeared in {\it
                  {TAPSOFT '89}, Proceedings of the International
                  Joint Conference on Theory and Practice in Software
                  Development, Barcelona, Spain}, pages~345--359,
                  Springer-Verlag LNCS 352, March 1989." , 
complete     =   "Incomplete",
checked      =   "Not checked",
source       =   "From ergobib"
)

@incollection    (CARDELLI89:TypefulProgramming,
author       =   "Luca Cardelli" ,
title        =   "Typeful Programming" ,
booktitle    =   "Formal Description of Programming Concepts",
editor       =   "E. J. Neuhold and M. Paul",
publisher    =   "Springer-Verlag",
year         =   1991,
source       =   "from Luca mail",
note         =   "An earlier version appeared as DEC Systems Research Center
                  Research Report \#45, February 1989"
)

@article         (DeBruijn72,
key          =   "Bruijn72" ,
author       =   "Nicolas G. de Bruijn" ,
title        =   "Lambda-Calculus Notation with Nameless Dummies: a
                  Tool for Automatic Formula Manipulation with
                  Application to the {Church-Rosser} Theorem" ,
journal      =   "Indag. Math." ,
volume       =   "34" ,
number       =   "5" ,
year         =   "1972" ,
pages        =   "381--392" ,
checked      =   no,
source       =   "from ergobib"
)

@article         (Leivant86,
author       =   "Daniel Leivant" ,
title        =   "Typing and computational properties of lambda expressions",
journal      =   "Theoretical Computer Science" ,
volume       =   "44" ,
year         =   "1986" ,
pages        =   "51--68" ,
checked      =   "no, no, no",
source       =   "EMesg from Leivant"
)

@inproceedings   (FREEMAN91,
key          =   "FREEMAN91" ,
author       =   "Tim Freeman and Frank Pfenning" ,
title        =   "Refinement Types for {ML}" ,
booktitle    =   "Proceedings of the {SIGPLAN '91} Symposium on
                  Language Design and Implementation, Toronto, Ontario" ,
publisher    =   "ACM Press" ,
month        =   jun ,
year         =   "1991" ,
annote       =   "Published version of Freeman90." 
)

@inproceedings   {REYNOLDS81A,
author       =   "Reynolds, J. C.",
title        =   "The Essence of Algol",
booktitle    =   "Algorithmic Languages",
editor       =   "J. W. de Bakker and J. C. van Vliet",
publisher    =   "North-Holland",
address      =   "Amsterdam",
year         =   "1981",
pages        =   "345--372",
source       =   "From JCR",
entered      =   "3:10pm  Monday, 18 August 1986",
checked      =   "5:54pm  Friday, 17 June 1988"  }

@inproceedings   (PFENNING88C,
key          =   "Pfenning88c" ,
author       =   "Frank Pfenning" ,
title        =   "Partial Polymorphic Type Inference and
                  Higher-Order Unification" ,
booktitle    =   "Proceedings of the 1988 {ACM} Conference on {Lisp}
                  and Functional Programming, Snowbird, Utah" ,
publisher    =   "ACM Press" ,
month        =   jul ,
year         =   "1988" ,
keywords     =   "types, hou, fp" ,
source       =   "ergobib",
checked      =   no,
pages        =   "153--163" ,
note         =   "Also available as Ergo Report 88--048, School of
                  Computer Science, Carnegie Mellon University, Pittsburgh")

@inproceedings   (KfouryTiuryn90,
author       =   "A.J. Kfoury and J. Tiuryn",
title        =   "Type Reconstruction in Finite-Rank Fragments of the
                  Polymorphic $\lambda$-Calculus",
booktitle    =   "Fifth Annual IEEE Symposium on Logic in Computer Science",
year         =   1990,
month        =   jun,
address      =   "Philadelphia, PA",
pages        =   "2--11")

@inproceedings   (Abadi&90:ExplicitSubs,
author       =   "M. Abadi and L. Cardelli and {P.-L.} Curien and
                  {J.-J.} L\'{e}vy",
title        =   "Explicit Substitutions",
booktitle    =   "Proceedings of the Seventeenth ACM Symposium on
                  Principles of Programming Languages", 
address      =   "San Francisco, CA",
month        =   jan,
year         =   "1990",
pages        =   "31--46",
checked      =   yes)

@article         { huet80,
author       =   "G{\'{e}}rard Huet",
title        =   "Confluent Reductions: {A}bstract Properties and
                  Applications to Term Rewriting Systems", 
journal      =   "Journal of the Association for Computing Machinery",
volume       =   27, 
number       =   4,
year         =   1980,
month        =   oct,
checked      =   yes,
pages        =   "797--821",
}

@techreport      (CAMLmanual,
author       =   "Pierre Weis and Mar\'{\i}a-Virginia Aponte
                  and Alain Laville and Michel Mauny
                  and Asc\'{a}nder Su\'{a}rez",
title        =   "The {CAML} Reference Manual, {V}ersion 2.6",
institution  =   "Projet {F}ormel, {INRIA-ENS}",
checked      =   yes,
year         =   1989,
source       =   "CAML manual title page source and Pierre Weis")

@inproceedings   {Leroy-Mauny-dynamics,
author       =   "Xavier Leroy and Michel Mauny",
title        =   "Dynamics in {ML}",
booktitle    =   fpca # " 1991",
editor       =   "John Hughes",
series       =   lncs,
publisher    =   springer,
volume       =   "523",
checked      =   yes,
year         =   "1991",
pages        =   "406--426"}

@mastersthesis   (Schaffert78:CLUdefn,
author       =   "Justin Craig Schaffert",
title        =   "A Formal Definition of {CLU}",
school       =   "MIT",
year         =   "1978",
checked      =   yes,
month        =   jan,
note         =   "MIT/LCS/TR-193")

@mastersthesis   (Scheifler78:CLUsemantics,
author       =   "Robert William Scheifler",
title        =   "A Denotational Semantics of {CLU}",
school       =   "MIT",
year         =   "1978",
checked      =   yes,
month        =   may,
note         =   "MIT/LCS/TR-201")

@researchreport  (Modula2+TR,
author       =   "Paul Rovner and Roy Levin and John Wick",
title        =   "On Extending Modula-2 for Building Large, 
                  Integrated Systems",
institution  =   "DEC Systems Research Center",
checked      =   yes,
year         =   "1985",
number       =   "3")

@book            (Stoy,
author       =   "Joseph E. Stoy",
title        =   "Denotational Semantics: The Scott-Strachey Approach
                  to Programming Language Theory",
checked      =   yes,
publisher    =   mp,
year         =   1977)

@book            (HopcroftUllman,
author       =   "John E. Hopcroft and Jeffrey D. Ullman",
title        =   "Introduction to Automata Theory, Languages, and Computation",
checked      =   yes,
publisher    =   "Addison-Wesley",
year         =   1979)

@book            (SchmidtBook,
author       =   "David A. Schmidt",
title        =   "Denotational Semantics: A Methodology for 
                  Language Development",
checked      =   yes,
publisher    =   "Allyn and Bacon",
year         =   1986)

@book            (Barendregt,
author       =   "H. P. Barendregt",
fullauthor   =   "H[endrik] P[ieter] Barendregt",
title        =   "The Lambda Calculus",
publisher    =   "North Holland",
checked      =   yes,
edition      =   "Revised",
year         =   1984)

@incollection    {Barendregt90,
author       =   "H. P. Barendregt",
title        =   "Functional Programming and Lambda Calculus",
chapter      =   "7",
crossref     =   "HandbookOfTCSVolB",
volume       =   "B",
pages        =   "321--364",
checked      =   yes,
}

@incollection    {Milner:SemOfConProc,
author       =   "R. Milner",
title        =   "Operational and Algebraic Semantics of Concurrent Processes",
chapter      =   "19",
crossref     =   "HandbookOfTCSVolB",
volume       =   "B",
pages        =   "1201--1242",
checked      =   yes,
}

@incollection    {GunterScott:Domains,
author       =   "C. A. Gunter and D. S. Scott",
title        =   "Semantic Domains",
chapter      =   "12",
crossref     =   "HandbookOfTCSVolB",
volume       =   "B",
pages        =   "633--674",
checked      =   yes,
}

@book            (HindleySeldin,
author       =   "J. Roger Hindley and Jonathan P. Seldin",
title        =   "Introduction to Combinators and {$\lambda$-Calculus}",
publisher    =   "Cambridge University Press",
series       =   "{L}ondon {M}athematical {S}ociety {S}tudent {T}exts",
checked      =   yes,
volume       =   "1",
year         =   1986)

@incollection    (GoguenMeseguer85,
author       =   "J.A. Goguen and J. Meseguer",
title        =   "EQLOG: Equality, Types, and Generic Modules for Logic
                  Programming",
booktitle    =   "Functional and Logic Programming",
editor       =   "DeGroot and Lindstrom",
checked      =   yes,
publisher    =   "Prentice Hall",
year         =   1985)

@article         (RPC,
author       =   "Andrew D. Birrell and Bruce Jay Nelson",
title        =   "Implementing Remote Procedure Calls",
journal      =   "ACM Transactions on Computer Systems",
volume       =   "2",
number       =   "1",
month        =   feb,
checked      =   yes,
pages        =   "39-59",
year         =   1984)

@article         (Newcomer87,
author       =   "Joseph M. Newcomer",
title        =   "Efficient Binary {I/O} of {IDL} Objects",
journal      =   "{SIGPLAN} Notices",
volume       =   "22",
number       =   "11",
month        =   nov,
checked      =   yes,
pages        =   "35-42",
year         =   1987)

@techreport      (Reynolds72,
author       =   "John C. Reynolds",
title        =   "Notes on a Lattice-Theoretic Approach to the 
                  Theory of Computation",
institution  =   "Syracuse University, School of Computer and 
                  Information Science",
month        =   oct,
checked      =   yes,
year         =   1972,
note         =   "Revised March, 1979")

@techreport      (CMUCommonLispTR,
author       =   "David B. Mc{D}onald and Scott E. Fahlman and Skef Wholey",
title        =   "Internal Design of CMU Common Lisp on the {IBM RT PC}",
institution  =   "Carnegie Mellon University",
month        =   apr,
checked      =   yes,
year         =   1988,
number       =   "CMU-CS-87-157")

@inproceedings   (Modula3POPLpaper,
author       =   "Luca Cardelli and James Donahue 
                  and Mick Jordan and Bill Kalsow and Greg Nelson",
title        =   "The {M}odula-3 Type System",
booktitle    =   "Proceedings of the Sixteenth Annual ACM Symposium
                  on Principles of Programming Languages" ,
year         =   1989,
checked      =   yes,
pages        =   "202-212",
month        =   jan)

@inproceedings   (McCarthy78,
author       =   "John McCarthy",
title        =   "History of {L}isp",
booktitle    =   "Proceedings of the first ACM conference on History
                  of Programming Languages" ,
year         =   1978,
checked      =   yes,
pages        =   "217--223",
note         =   "ACM Sigplan Notices, Vol. 13, No 8, August 1978")

@unpublished     {Muller89,
author       =   "Robert Muller",
title        =   "Syntax Macros in {M-LISP}: {A} Representation
                  Independent Dialect of {LISP} with Reduction
                  Semantics ({T}echnical Summary)", 
comment      =   "Filed in Macros binder",
note         =   "Draft paper",
year         =   "1989",
checked      =   yes,
month        =   nov,
}

@techreport      (Modula3TR,
author       =   "Luca Cardelli and James Donahue and Lucille Glassman
                  and Mick Jordan and Bill Kalsow and Greg Nelson",
title        =   "Modula-3 Report (revised)",
institution  =   "DEC Systems Research Center",
type         =   "Research report",
year         =   1989,
month        =   nov,
number       =   "52")

@article         (Modula2+Article,
author       =   "Paul Rovner",
title        =   "On Extending {M}odula-2 to Build Large, Integrated Systems",
journal      =   "IEEE Software",
volume       =   "3",
number       =   "6",
month        =   nov,
pages        =   "46-57",
year         =   1986)

@article         (BurstallLandin69,
author       =   "R. M. Burstall and P. J. Landin",
fullauthor   =   "R[od] M. Burstall and P[eter] J. Landin",
title        =   "Programs and Their Proofs: an Algebraic Approach",
journal      =   "Machine Intelligence",
volume       =   "4",
editor       =   "B. Meltzer and D. Michie",
publisher    =   "Edinburgh University Press",
pages        =   "17-43",
year         =   1969)

@misc            (MacQueen:MLPatternCompilation,
author       =   "David MacQueen",
title        =   "Private communication")

@techreport      { HARPER86B:SMLIntro,
author       =   "Robert Harper",
title        =   "Introduction to {S}tandard {ML}",
institution  =   "Laboratory for the Foundations of Computer Science, Edinburgh University",
number       =   "ECS--LFCS--86--14",
month        =   sep, year=1986
}

@article         {NAUR63,
author       =   "Naur, P. and others",
title        =   "Revised Report on the Algorithmic Language ALGOL 60",
journal      =   "Communications of the ACM",
month        =   jan,
volume       =   "6",
year         =   "1963",
pages        =   "1--17",
source       =   "From JCR",
entered      =   "1:56pm  Monday, 18 August 1986"  }


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%                                                                       %%
%%                          Category Theory                              %%
%%                                                                       %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% Things to do to these citations:
%%   - Supply first names where known

%% Check correct spellings of first names:
%%   - Higgins
%%   - Hurewicz
%%   - M.B. Smyth
%%   - H.E. Rose

@article         (Kock70,
author       =   "A. Kock",
title        =   "Strong Functors and Monoidal Monads",
journal      =   "Various Publications Series 11, Aarhus Universitet",
year         =   "1970",
source       =   "mxh",
checked      =   no
)

@book            (BarrWells90,
author       =   "Michael Barr and Charles Wells",
title        =   "Category Theory for Computing Science",
checked      =   yes,
year         =   1990,
publisher    =   "Prentice Hall")

@incollection    (Fourman77,
author       =   "Michael P. Fourman",
title        =   "The Logic of Topoi",
checked      =   yes,
pages        =   "1053--1090",
crossref     =   "HandbookOfMathLogic")

@article         (Smyth77,
author       =   "M. B. Smyth",
title        =   "Effectively Given Domains",
journal      =   TCS,
volume       =   "5",
checked      =   yes,
pages        =   "257-274",
year         =   1977)

@article         (BerryCurien82,
author       =   "G. Berry and P.-L. Curien",
fullauthor   =   "G[erard] Berry and P[ierre]-L[ouis] Curien",
title        =   "Sequential Algorithms on Concrete Data Structures",
journal      =   TCS,
volume       =   "20",
checked      =   yes,
pages        =   "265-321",
year         =   1982)

@article         (Lehmann80,
author       =   "Daniel J. Lehmann",
title        =   "On the Algebra of Order",
journal      =   "Journal of Computer and System Sciences",
volume       =   "21",
checked      =   yes,
pages        =   "1--23",
year         =   1980)

@inproceedings   (Scott82,
author       =   "Dana S. Scott",
title        =   "Domains for Denotational Semantics",
booktitle    =   "Automata, Languages, and Programming: 9th
                  Colloquium, {A}arhus, {D}enmark",
year         =   1982,
publisher    =   Springer,
editor       =   "M. Nielson and E. M. Schmidt",
pages        =   "577-613",
series       =   LNCS,
checked      =   yes,
number       =   "140",
)

@inproceedings   (Burstall80,
author       =   "R. M. Burstall",
fullauthor   =   "R[od] M. Burstall",
title        =   "Electronic Category Theory",
booktitle    =   "Mathematical Foundations of Computer Science 
                  (Rydzyna, Poland)",
publisher    =   Springer,
year         =   1980,
series       =   LNCS,
number       =   88,
checked      =   yes,
pages        =   "22-39",
note         =   "Invited paper")

@phdthesis       (HaginoThesis,
author       =   "Tatsuya Hagino",
title        =   "A Category Theoretic Approach to Data Types",
school       =   "University of Edinburgh, Department of Computer Science",
checked      =   yes,
year         =   1987,
note         =   "CST-47-87 (also published as ECS-LFCS-87-38)")

@phdthesis       (TaylorThesis,
author       =   "Paul Taylor",
title        =   "Recursive Domains, Indexed Category Theory, and Polymorphism",
checked      =   yes,
school       =   "University of Cambridge",
year         =   1986)

@article         (Tarski55,
author       =   "Alfred Tarski",
title        =   "A Lattice-Theoretical Fixpoint Theorem and its Applications",
journal      =   "Pacific Journal of Mathematics",
volume       =   5,
checked      =   yes,
pages        =   "285--309",
year         =   1955)

@inproceedings   (Lambek69,
author       =   "Joachim Lambek",
title        =   "Deductive Systems and Categories: {II}: {S}tandard
                  Constructions and Closed Categories",
booktitle    =   "Category theory, homology theory and their
                  applications",
year         =   1969,
publisher    =   Springer,
pages        =   "76-122",
series       =   LNM,
checked      =   yes,
number       =   "86",
callnumber   =   "512.8 C35 v.1")

@inproceedings   (Wadler89,
author       =   "Philip Wadler",
title        =   "Theorems for Free!",
booktitle    =   "Functional Programming Languages and Computer Architecture",
year         =   1989,
publisher    =   "ACM Press",
month        =   sep,
checked      =   yes,
pages        =   "347--359",
note         =   "Imperial College, London")

@phdthesis       (GunterThesis,
author       =   "Carl Gunter",
title        =   "Profinite Solutions for Recursive Domain Equations",
school       =   "University of Wisconson",
note         =   "Available as Carnegie Mellon University School of Computer 
                  Science Technical Report CMU-CS-85-107",
checked      =   yes,
year         =   1985)

@proceedings     (JohnstonePare78,
editor       =   "P. T. Johnstone and R. Par\'{e}",
fulleditor   =   "P[eter] T. Johnstone and R[obert] Par\'{e}",
title        =   "Indexed Categories and Their Applications",
publisher    =   Springer,
year         =   1978,
series       =   LNM,
checked      =   yes,
number       =   "661",
callnumber   =   "512.86 I38")

@proceedings     (MakkaiReyes77,
editor       =   "Michael Makkai and Gonzalo E. Reyes",
title        =   "First Order Categorical Logic",
publisher    =   Springer,
year         =   1977,
series       =   LNM,
checked      =   yes,
number       =   "611",
)

@article         (GoguenBurstall84,
author       =   "J. A. Goguen and R. M. Burstall",
fullauthor   =   "J[oseph] A. Goguen and R[od] M. Burstall",
title        =   "Some Fundamental Tools for the Semantics of Computation:
                  {P}art 1: {C}omma categories, colimits, signatures and
                  theories", 
journal      =   TCS,
volume       =   "31",
checked      =   yes,
pages        =   "175-209",
year         =   1984)

@inproceedings   {Reynolds84:PolyIsNotSetTh,
author       =   "Reynolds, J. C.",
fullauthor   =   "Reynolds, J[ohn] C.",
title        =   "Polymorphism is not Set-Theoretic",
booktitle    =   "Semantics of Data Types",
editor       =   "G. Kahn and D. B. MacQueen and G. D. Plotkin",
fulleditor   =   "G[illes] Kahn and D[avid] B. MacQueen and
                  G[ordon] D. Plotkin", 
series       =   LNCS,
volume       =   "173",
publisher    =   Springer,
address      =   "Berlin",
year         =   "1984",
pages        =   "145--156",
entered      =   "2:49pm  Monday, 18 August 1986",
checked      =   yes,
checked      =   "checked January 1988",
source       =   "JCR"  }


@article         (Goguen73,
author       =   "J. A. Goguen",
fullauthor   =   "J[oseph] A. Goguen",
title        =   "Realization is Universal",
journal      =   "Mathematical Systems Theory",
volume       =   6,
number       =   4,
publisher    =   Springer,
checked      =   yes,
pages        =   "359-374",
year         =   1973)

@incollection    (FourmanScott,
author       =   "M.P. Fourman and D.S. Scott",
title        =   "Sheaves and Logic",
booktitle    =   "Applications of Sheaf Theory to Algebra, Analysis, and 
                  Topology",
editor       =   "M.P. Fourman and C.J. Mulvey and D.S. Scott",
publisher    =   Springer,
series       =   LNM,
number       =   753,
checked      =   yes,
pages        =   "302--401",
year         =   1979)

@inproceedings   {Reynolds:EssenceOfAlgol,
author       =   "Reynolds, John C.",
title        =   "The Essence of {A}lgol",
booktitle    =   "Algorithmic Languages",
editor       =   "J. W. de Bakker and J. C. van Vliet",
publisher    =   "North-Holland",
address      =   "Amsterdam",
year         =   "1981",
pages        =   "345--372",
entered      =   "3:10pm  Monday, 18 August 1986",
checked      =   yes,
checked      =   "5:54pm  Friday, 17 June 1988",
source       =   "JCR's bib file"}

@inproceedings   {ReynoldsPlotkin88,
author       =   "Reynolds, John C. and Plotkin, Gordon D.",
title        =   "On Functors Expressible in the Polymorphic Lambda Calculus",
crossref     =   "HuetYOP",
note         =   "Submitted to Information and Computation.  Also available as
                  CMU School of Computer Science technical report number 
                  CMU-CS-90-147",
checked      =   yes,
}

@inproceedings   (Grothendieck63,
author       =   "A. Grothendieck",
fullauthor   =   "A[lexander] Grothendieck",
title        =   "Cat\'{e}gories fibr\'{e}es et descente",
booktitle    =   "{R}ev\^{e}tements \'{E}tales et Group Fondamental:
                  S\'{e}minaire de {G}\'{e}om\'{e}trie {A}lg\'{e}brique
                  du {B}ois {M}arie 1960/61 (SGA 1), {E}xpos\'{e} VI",
edition      =   "3rd",
publisher    =   "Institut des Hautes \'{E}tudes Scientifiques, Paris",
year         =   1963,
checked      =   yes,
note         =   "Reprinted in " # LNM # " No. 224, Springer-Verlag, 1971",
callnumber   =   "516.5 G881r")

@inproceedings   (Lawvere66:foundations,
title        =   "The Category of Categories as a Foundation for Mathematics",
author       =   "F. William Lawvere",
booktitle    =   "Proceedings of the Conference on Categorical Algebra
                  (La Jolla, 1965)", 
year         =   1966,
publisher    =   Springer,
editor       =   "S. Eilenberg and D.K. Harrison and S. {Mac Lane}
                  and H. R{\"{o}}hrl",
checked      =   yes,
pages        =   "1-20",
callno       =   "512.86 C74p")

@article         (ADJ77,
author       =   "J. A. Goguen and J. W. Thatcher and
                  E. G. Wagner and J. B. Wright",
fullauthor   =   "J[oseph] A. Goguen and J[ames] W. Thatcher and
                  E[ric] G. Wagner and J[esse] B. Wright",
title        =   "Initial Algebra Semantics and Continuous Algebras",
journal      =   JACM,
volume       =   "24",
number       =   "1",
checked      =   yes,
pages        =   "68-95",
year         =   1977)

@inproceedings   (MitchellScott88,
title        =   "Typed Lambda Models and Cartesian Closed Categories
                  (preliminary version)",
author       =   "John C. Mitchell and Philip J. Scott",
checked      =   yes,
pages        =   "301--316",
crossref     =   "Boulder87Conf")

@inproceedings   (Elgot75,
title        =   "Monadic Computation and Iterative Algebraic Theories",
checked      =   yes,
author       =   "Calvin C. Elgot",
crossref     =   "BristolLogicColloq73")

@inproceedings   (Elgot71,
title        =   "Algebraic Theories and Program Schemes",
author       =   "Calvin C. Elgot",
booktitle    =   "Symposium on Semantics of Algorithmic Languages", 
year         =   1971,
publisher    =   Springer,
editor       =   "E. Engeler",
pages        =   "71-88",
series       =   LNM,
checked      =   yes,
number       =   "188",
callnumber   =   "510.783 S98")

@inproceedings   (Winskel84,
title        =   "Categories of Models for Concurrency",
author       =   "Glynn Winskel",
booktitle    =   "Seminar on Concurrency", 
year         =   1984,
publisher    =   Springer,
editor       =   "S. D. Brookes and A. W. Roscoe and G. Winskel",
pages        =   "246--267",
month        =   jul,
series       =   LNCS,
checked      =   yes,
number       =   "197",
comment      =   "Pittsburgh, PA")

@article         (Plotkin76,
author       =   "G. D. Plotkin",
fullauthor   =   "G[ordon] D. Plotkin",
title        =   "A Powerdomain Construction",
journal      =   SIAMJC,
volume       =   "5",
number       =   "3",
checked      =   yes,
pages        =   "452-487",
year         =   1976)

@inproceedings   (MacLane75,
author       =   "Maclane, Saunders",
title        =   "Sets, Topoi, and Internal Logic in Categories",
pages        =   "119-134",
checked      =   yes,
crossref     =   "BristolLogicColloq73",
comment      =   "Yes, he really spelled his name this way on the title page")

@article         (Wand79,
author       =   "Mitchell Wand",
title        =   "Fixed-point Constructions in Order-Enriched Categories",
journal      =   TCS,
volume       =   8,
checked      =   yes,
pages        =   "13-30",
year         =   1979)

@book            (AspertiLongo91,
author       =   "Andrea Asperti and Giuseppe Longo",
title        =   "Categories, Types, and Structures: An Introduction to
                  Category Theory for the Working Computer Scientist",
checked      =   yes,
publisher    =   mp,
year         =   1991)

@book            (Graetzer68,
author       =   "George Gr{\"{a}}tzer",
title        =   "Universal Algebra",
checked      =   yes,
publisher    =   "Van Nostrand",
year         =   1968)

@book            (Mitchell65,
author       =   "Barry Mitchell",
title        =   "Theory of Categories",
checked      =   yes,
publisher    =   "Academic Press",
year         =   1965)

@book            (Hatcher68,
author       =   "William S. Hatcher",
title        =   "Foundations of Mathematics",
checked      =   yes,
publisher    =   "W. B. Saunders Co.",
year         =   1968)

@book            (MacLane,
author       =   "{M}ac {L}ane, Saunders ",
title        =   "Categories for the Working Mathematician",
checked      =   yes,
publisher    =   Springer,
year         =   1971)

@book            (MacLaneBirkhoff:Algebra,
author       =   "{M}ac {L}ane, Saunders and Birkhoff, Garrett",
title        =   "Algebra",
checked      =   yes,
publisher    =   "{M}ac{M}illan",
year         =   1967)

@book            (Freyd64,
author       =   "Peter Freyd",
title        =   "Abelian Categories: An Introduction to the 
                  Theory of Functors",
checked      =   yes,
publisher    =   "Harper and Row",
year         =   1964)

@book            (EhrigEtAl74,
author       =   "H. Ehrig and K.-D. Kiermeier 
                  and H.-J. Kreowski and W. K{\"{u}}hnel",
fullauthor   =   "H[artmut] Ehrig and K[laus]-D[ieter] Kiermeier 
                  and H[ans]-J[{\"{o}}rg] Kreowski and W[olfgang]
                  K{\"{u}}hnel", 
title        =   "Universal Theory of Automata: A Categorical Approach",
checked      =   yes,
publisher    =   "B. G. Teubner, Stuttgart",
year         =   1974)

@book            (Manes76:AlgTh,
author       =   "Ernest G. Manes",
title        =   "Algebraic Theories",
publisher    =   Springer,
year         =   1976,
checked      =   yes,
series       =   GTM, 
number       =   26)

@book            (ArbibManes,
author       =   "Michael Arbib and Ernest Manes",
title        =   "Arrows, Structures, and Functors: The Categorical
                  Imperative",
checked      =   yes,
publisher    =   "Academic Press",
year         =   1975)

@book            (Goldblatt,
author       =   "Robert Goldblatt",
title        =   "Topoi: The Categorial Analysis of Logic",
checked      =   yes,
publisher    =   "North Holland",
year         =   1984)

@book            (Cohn65,
author       =   "Paul M. Cohn",
title        =   "Universal Algebra",
publisher    =   "D. Reidel",
year         =   1981,
checked      =   yes,
edition      =   "revised",
note         =   "Originally published by Harper and Row, 1965")

@book            (CurienCAMBook,
author       =   "P.-L. Curien",
fullauthor   =   "P[ierre]-L[ouis] Curien",
title        =   "Categorical Combinators, Sequential Algorithms and
                  Functional Programming",
publisher    =   "Pitman",
checked      =   yes,
year         =   1993,
isbn         =   "376 433 65 44",
edition      =   "second",
note         =   "{A}vailable from {J}ohn {W}iley and {S}ons")

@book            (Blyth,
author       =   "T. S. Blyth",
fullauthor   =   "T[homas] S[cott] Blyth",
title        =   "Categories",
checked      =   yes,
publisher    =   "Longman",
year         =   1986)

@book            (Burris&81,
author       =   "Stanley Burris and H. P. Sankappanavar",
title        =   "A Course in Universal Algebra",
publisher    =   Springer,
series       =   GTM,
checked      =   yes,
number       =   78,
year         =   1981)

@book            (LambekScott,
author       =   "J. Lambek and P. J. Scott",
fullauthor   =   "J[oachim] Lambek and P[hil] J. Scott",
title        =   "Introduction to higher order categorical logic",
publisher    =   "Cambridge University Press",
series       =   "Cambridge Studies in Advanced Mathematics",
number       =   7,
checked      =   yes,
note         =   "First paperback edition (with corrections) 1988",
year         =   1986)

@book            (ManesArbib,
author       =   "Ernest Manes and Michael Arbib",
title        =   "Algebraic Approaches to Program Semantics",
checked      =   yes,
publisher    =   Springer,
year         =   1986)

@incollection    (KellyStreet74,
author       =   "G. M. Kelly and Ross Street",
fullauthor   =   "G[regory] M. Kelly and Ross Street",
title        =   "Review of the Elements of 2-Categories",
booktitle    =   "Category Seminar: {P}roceedings {S}ydney Category
                  Seminar 1972/1973",
editor       =   "Gregory M. Kelly",
publisher    =   Springer,
series       =   LNM,
checked      =   yes,
number       =   420,
year         =   1974)

@incollection    (Lambek80,
author       =   "J. Lambek",
fullauthor   =   "J[oachim] Lambek",
title        =   "From $\lambda$-Calculus to Cartesian Closed Categories",
checked      =   yes,
pages        =   "375--402",
crossref     =   "CurryFestschrift")

@incollection    (Scott:RelThOfLambdaCalc,
author       =   "Dana S. Scott",
title        =   "Relating Theories of the {$\lambda$}-Calculus",
checked      =   yes,
pages        =   "403--450",
crossref     =   "CurryFestschrift")

@inproceedings   (BurstallThatcher74,
author       =   "R. M. Burstall and J. W. Thatcher",
fullauthor   =   "R[od] M. Burstall and J[ames] W. Thatcher",
title        =   "An Algebraic Theory of Recursive Program Schemes",
checked      =   yes,
pages        =   "126--131",
crossref     =   "LNCS25")

@inproceedings   (MoggiMonads89,
author       =   "Eugenio Moggi",
title        =   "Computational lambda-calculus and monads",
checked      =   yes,
pages        =   "14--23",
crossref     =   "LICS89")

@inproceedings   (Freyd&90,
author       =   "P. Freyd and P. Mulry and G. Rosolini and D. Scott",
title        =   "Extensional {PERs}",
checked      =   yes,
pages        =   "346--354",
crossref     =   "LICS90")

@inproceedings   (MoggiModules89,
author       =   "Eugenio Moggi",
title        =   "A category-theoretic account of program modules",
checked      =   yes,
pages        =   "101--117",
crossref     =   "Manchester89Conf")

@inproceedings   (Filinski89,
author       =   "Andrzej Filinski",
title        =   "Declarative Continuations: an Investigation of
                  Duality in Programming Language Semantics",
checked      =   yes,
pages        =   "224--249",
crossref     =   "Manchester89Conf")

@mastersthesis   (FilinskiThesis89,
author       =   "Andrzej Filinski",
title        =   "Declarative Continuations and Categorical Duality",
month        =   aug,
checked      =   yes,
school       =   "DIKU -- Computer Science Department, University of Copenhagen",
year         =   1989)

@inproceedings   (Wand74,
author       =   "M. Wand",
fullauthor   =   "M[itchell] Wand",
checked      =   yes,
title        =   "On Recursive Specification of Data Types",
crossref     =   "LNCS25")

@book            (Schubert,
author       =   "Horst Schubert",
title        =   "Categories",
checked      =   yes,
publisher    =   Springer,
year         =   1972)

@book            (HerrlichStrecker,
author       =   "Horst Herrlich and George E. Strecker",
title        =   "Category Theory",
checked      =   yes,
publisher    =   "Allyn and Bacon",
year         =   1973)

@book            (BarrWells:ToposesTriplesTheories,
author       =   "Michael Barr and Charles Wells",
title        =   "Toposes, Triples, and Theories",
checked      =   yes,
publisher    =   Springer,
year         =   1984)

@book            (RydeheardBurstall88,
author       =   "David E. Rydeheard and Rod M. Burstall",
title        =   "Computational Category Theory",
checked      =   yes,
publisher    =   "Prentice Hall",
year         =   1988)

@inproceedings   (Lambek85,
author       =   "J. Lambek",
fullauthor   =   "J[oachim] Lambek",
checked      =   yes,
title        =   "Cartesian Closed Categories and Typed Lambda-calculi",
crossref     =   "CombAndFPL85")

@inproceedings   (Huet85,
author       =   "G{\'{e}}rard Huet",
checked      =   yes,
title        =   "Cartesian Closed Categories and Lambda Calculus",
crossref     =   "CombAndFPL85")

@unpublished     (Huet85CatThNotes,
author       =   "G{\'{e}}rard Huet",
title        =   "Initiation \`{a} la Th\'{e}orie des Cat\'{e}gories",
month        =   nov,
year         =   1985,
checked      =   yes,
note         =   "Polycopi\'{e} de cours de {DEA}, {U}niversit\'{e}
                  {P}aris {VII}")

@inproceedings   (Hagino87,
author       =   "Tatsuya Hagino",
title        =   "A Typed Lambda Calculus with Categorical Type
checked      =   yes,
                  Constructors",
crossref     =   "Edinburgh88Conf")

@phdthesis       (RydeheardThesis,
author       =   "David Eric Rydeheard",
title        =   "Applications of Category Theory to Programming and Program
                  Specification",
school       =   "University of Edinburgh",
checked      =   yes,
year         =   1981,
note         =   "CST-14-81")

@inproceedings   (MeltonSchmidtStrecker85,
author       =   "A. Melton and D. A. Schmidt and G. E. Strecker", 
fullauthor   =   "A[ustin] Melton and D[avid] A. Schmidt and G[eorge]
                  E. Strecker", 
title        =   "Galois Connections and Computer Science Applications",
checked      =   yes,
crossref     =   "Guildford85Conf",
pages        =   "299-312")

@inproceedings   (Pitt85,
author       =   "David Pitt", 
title        =   "Categories",
checked      =   yes,
crossref     =   "Guildford85Conf",
pages        =   "6--15")

@inproceedings   (Hughes89,
author       =   "John Hughes", 
title        =   "Projections for Polymorphic Strictness Analysis",
checked      =   yes,
crossref     =   "Manchester89Conf",
pages        =   "82--100")

@inproceedings   (Rydeheard:Functors,
author       =   "David E. Rydeheard",
title        =   "Functors and Natural Transformations",
checked      =   yes,
pages        =   "43-52",
crossref     =   "Guildford85Conf")

@inproceedings   (Rydeheard:Adjoints,
author       =   "David E. Rydeheard",
title        =   "Adjunctions",
checked      =   yes,
pages        =   "53-57",
crossref     =   "Guildford85Conf")

@inproceedings   (Poigne85:EltsOfCatReas,
author       =   "Axel Poigne",
title        =   "Elements of Categorical Reasoning: Products and
                  Coproducts and Some Other (Co-)Limits",
checked      =   yes,
pages        =   "16-42",
crossref     =   "Guildford85Conf")

@inproceedings   (Dybjer85,
author       =   "Peter Dybjer",
title        =   "Category Theory and Programming Language Semantics:
                  an Overview",
checked      =   yes,
pages        =   "165-181",
crossref     =   "Guildford85Conf")

@inproceedings   (Tennent85,
author       =   "R. D. Tennent",
fullauthor   =   "R[obert] D. Tennent",
title        =   "Functor-Category Semantics of Programming Languages
                  and Logics",
checked      =   yes,
pages        =   "206-224",
crossref     =   "Guildford85Conf")

@inproceedings   (FourmanVickers85,
author       =   "Michael P. Fourman and Steven Vickers",
title        =   "Theories as Categories",
checked      =   yes,
pages        =   "434-448",
crossref     =   "Guildford85Conf")

@inproceedings   (RydeheardBurstall85,
author       =   "D. E. Rydeheard and R. M. Burstall",
fullauthor   =   "D[avid] E. Rydeheard and R[od] M. Burstall",
title        =   "A Categorical Unification Algorithm",
checked      =   yes,
pages        =   "493-505",
crossref     =   "Guildford85Conf")

@inproceedings   (BurstallRydeheard85,
author       =   "R. Burstall and D. Rydeheard",
fullauthor   =   "R[od] Burstall and D[avid] Rydeheard",
title        =   "Computing with Categories",
checked      =   yes,
pages        =   "506-519",
crossref     =   "Guildford85Conf")

@inbook          (EDMArticle,
editor       =   "Kiyoshi Ito",
title        =   "Encyclopedic Dictionary of Mathematics",
year         =   1987,
publisher    =   mp,
edition      =   "Second",
volume       =   "1",
checked      =   yes,
chapter      =   "52 ({II}.24) Categories and Functors",
pages        =   "202-209")

@unpublished     (Reynolds88:SemAsADesTool,
author       =   "John Reynolds",
title        =   "Semantics as a Design Tool",
month        =   "Fall",
year         =   1988,
checked      =   yes,
note         =   "CMU course notes (a previous version was
                  distributed in Spring, 1987)")

@techreport      (Sander87,
author       =   "Herbert P. Sander",
title        =   "Categorical Combinators",
institution  =   "Programming Methodology Group, University of
                  G{\"{o}}teborg and Chalmers University of
                  Technology, Sweden",
month        =   jun,
year         =   1987,
checked      =   yes,
type         =   "Report",
number       =   "38")

@techreport      (ADJ75,
author       =   "J. A. Goguen and J. W. Thatcher and
                  E. G. Wagner and J. B. Wright",
fullauthor   =   "J[oseph] A. Goguen and J[ames] W. Thatcher and
                  E[ric] G. Wagner and J[esse] B. Wright",
title        =   "An Introduction to Categories, Algebraic 
                  Theories and Algebras",
institution  =   "IBM Research",
month        =   apr,
checked      =   yes,
year         =   1975,
number       =   "RC-5369")

@techreport      (Tarlecki&88,
author       =   "A. Tarlecki and R. M. Burstall and 
                  J. A. Goguen",
fullauthor   =   "A[ndrzej] Tarlecki and R[od] M. Burstall and 
                  J[oseph] A. Goguen",
title        =   "Some Fundamental Algebraic Tools for the Semantics
                  of Computation: {P}art {III}: {I}ndexed categories",
institution  =   "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of Edinburgh",
month        =   jul,
year         =   1988,
checked      =   yes,
number       =   "ECS-LFCS-88-60",
note         =   "To appear in Theoretical Computer Science")

@techreport      (Scott81,
author       =   "Dana Scott",
title        =   "Lectures on a Mathematical Theory of Computation",
institution  =   "Oxford University, Programming Research Group",
month        =   may,
checked      =   yes,
year         =   1981,
number       =   "PRG-19")

@techreport      (ADJ73,
author       =   "J. A. Goguen and J. W. Thatcher and
                  E. G. Wagner and J. B. Wright",
fullauthor   =   "J[oseph] A. Goguen and J[ames] W. Thatcher and
                  E[ric] G. Wagner and J[esse] B. Wright",
title        =   "A junction between computer science and category 
                  theory: {I}, {B}asic definitions and concepts",
institution  =   "IBM Research",
month        =   sep,
year         =   1973,
checked      =   yes,
number       =   "RC-4526",
note         =   "(Part 1)")

@techreport      (ADJ76,
author       =   "J. A. Goguen and J. W. Thatcher and
                  E. G. Wagner and J. B. Wright",
fullauthor   =   "J[oseph] A. Goguen and J[ames] W. Thatcher and
                  E[ric] G. Wagner and J[esse] B. Wright",
title        =   "A junction between computer science and category 
                  theory: {I}, {B}asic definitions and concepts",
institution  =   "IBM Research",
month        =   mar,
year         =   1976,
checked      =   yes,
number       =   "RC-5908",
note         =   "(Part 2)")

@techreport      (Goguen89Man,
author       =   "Joseph A. Goguen",
title        =   "A Categorical Manifesto",
institution  =   "Oxford University Computing Laboratory, Programming
                  Research Group",
month        =   mar,
year         =   1989,
checked      =   yes,
type         =   "Technical Monograph",
number       =   "PRG-72")

@unpublished     (FAICSNotes78,
author       =   "James W. Thatcher and Eric G. Wagner and Jesse B. Wright",
title        =   "Notes on Algebraic Fundamentals for Theoretical
                  Computer Science",
note         =   "Lecture notes from summer on Foundations of Artificial
                  Intelligence and Computer Science, Pisa",
checked      =   yes,
month        =   jun,
year         =   1978)

@article         (Benabou85,
author       =   "Jean B\'{e}nabou",
title        =   "Fibered Categories and the Foundations of Naive 
                  Category Theory",
journal      =   "Journal of Symbolic Logic",
volume       =   50,
number       =   1,
pages        =   "10-37",
checked      =   yes,
month        =   mar,
year         =   1985)

@article         (seely,
author       =   "R. A. G. Seely",
title        =   "Categorical Semantics for Higher Order Polymorphic
                  Lambda Calculus",
journal      =   "Journal of Symbolic Logic",
volume       =   52,
number       =   4,
pages        =   "969--988",
checked      =   yes,
month        =   dec,
year         =   1987)

@article         (SmythPlotkin82,
author       =   "M. B. Smyth and G. D. Plotkin",
fullauthor   =   "M. B. Smyth and G[ordon] D. Plotkin",
title        =   "The Category-Theoretic Solution
                  of Recursive Domain Equations",
journal      =   SIAMJC,
volume       =   11,
number       =   4,
checked      =   yes,
pages        =   "761-783",
year         =   1982)

@article         (Freyd72,
author       =   "Peter Freyd",
title        =   "Aspects of Topoi",
journal      =   "Bulletin of the Australian Mathematical Society",
volume       =   7,
pages        =   "1-76",
checked      =   yes,
year         =   1972,
comment      =   "Was: Bull, Austral. Math. Soc.")

@incollection    (KockReyes77,
author       =   "A. Kock and G. E. Reyes",
fullauthor   =   "A[nders] Kock and G[onzalo] E. Reyes",
title        =   "Doctrines in Categorical Logic",
booktitle    =   "Handbook of Mathematical Logic",
editor       =   "J. Barwise",
publisher    =   "North Holland",
checked      =   yes,
year         =   1977,
pages        =   "283-313")

@incollection    (Scott72,
author       =   "Dana Scott",
title        =   "Continuous Lattices",
booktitle    =   "Toposes, Algebraic Geometry, and Logic",
editor       =   "F. W. Lawvere",
publisher    =   Springer,
year         =   1972,
pages        =   "97-136",
checked      =   yes,
series       =   LNM,
number       =   "274")

@incollection    (Oles85,
author       =   "Frank J. Oles",
title        =   "Type Algebras, Functor Categories, and
                  Block Structure",
booktitle    =   "Algebraic Methods in Semantics",
editor       =   "Maurice Nivat and John C. Reynolds",
checked      =   yes,
publisher    =   "Cambrige University Press",
year         =   1985)


@phdthesis       (OlesThesis,
author       =   "Frank J. Oles",
title        =   "A Category-Theoretic Approach to the Semantics of
                  Programming Languages",
checked      =   yes,
school       =   "Syracuse University",
year         =   1982)

@inproceedings   (Reynolds:UsingCatThToDesign,
author       =   "John Reynolds",
title        =   "Using category theory to design implicit conversions
                  and generic operators ",
booktitle    =   "Proceedings of the Aarhus Workshop on
                  Semantics-Directed Compiler Generation",
editor       =   "N. D. Jones",
month        =   jan,
year         =   1980,
publisher    =   Springer,
series       =   LNCS,
number       =   "94",
checked      =   yes,
note         =   "Also in~"#taoop#"",
)

@inproceedings   (Feferman:CatThFoundations,
author       =   "Solomon Feferman",
title        =   "Set-theoretical foundations of category theory",
booktitle    =   "Reports of the Midwest Category Seminar III",
editor       =   "Mac Lane, S.",
year         =   1969,
pages        =   "201-247",
publisher    =   Springer,
checked      =   yes,
series       =   LNM,
number       =   "106")

@inproceedings   (MacLane:CatThFoundations,
author       =   "{M}ac {L}ane, Saunders",
title        =   "One universe as a foundation for category theory",
booktitle    =   "Reports of the Midwest Category Seminar III",
editor       =   "Mac Lane, S.",
year         =   1969,
pages        =   "192-200",
publisher    =   Springer,
checked      =   yes,
series       =   LNM,
number       =   "106")


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%                                                                       %%
%%                  Books and Conference Proceedings                     %%
%%                                                                       %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@proceedings     (Edinburgh88Conf,
title        =   "Category Theory and Computer Science (Edinburgh, U.K.)",
booktitle    =   "Category Theory and Computer Science (Edinburgh, U.K.)",
editor       =   "D. H. Pitt and A. Poign{\'{e}} and D.
                  E. Rydeheard",        
fulleditor   =   "D[avid] H. Pitt and A[xel]
                  Poign{\'{e}} and D[avid] E. Rydeheard",       
month        =   sep,
year         =   1987,
publisher    =   Springer,
series       =   LNCS,
number       =   "283")

@proceedings     (Guildford85Conf,
editor       =   "David Pitt and Samson Abramsky and Axel Poign\'{e}
                  and David Rydeheard",
title        =   "Category Theory and Computer Programming (Guildford, U.K.)",
booktitle    =   "Category Theory and Computer Programming (Guildford, U.K.)",
month        =   sep,
year         =   1985,
publisher    =   Springer,
series       =   LNCS,
number       =   "240")

@proceedings     (Manchester89Conf,
editor       =   "D. H. Pitt and D. E. Rydeheard and P. Dybjer 
                  and A. M. Pitts and A. Poign{\'{e}}",
fulleditor   =   "D[avid] H. Pitt and D[avid] E. Rydeheard and P[eter]
                  Dybjer and A[ndrew] M. Pitts and A[xel] Poign{\'{e}}",
title        =   "Category Theory and Computer Science (Manchester, U.K.)",
booktitle    =   "Category Theory and Computer Science (Manchester, U.K.)",
month        =   sep,
year         =   1989,
publisher    =   Springer,
series       =   LNCS,
number       =   "389")

@proceedings     (LNCS25,
editor       =   "E. G. Manes",
fulleditor   =   "E[rnest] G. Manes",
title        =   "Proceedings of the AAAS Symposium on Category Theory
                  Applied to Computation and Control (San Francisco,
                  California)",  
booktitle    =   "Proceedings of the AAAS Symposium on Category Theory
                  Applied to Computation and Control (San Francisco,
                  California)",  
publisher    =   Springer,
year         =   1975,
series       =   LNCS,
number       =   25)

@proceedings     (Boulder87Conf,
title        =   "Categories in Computer Science and Logic (Boulder, Colorado)",
booktitle    =   "Categories in Computer Science and Logic
                  (Boulder, Colorado)",
editor       =   "John W. Gray and Andre Scedrov",
month        =   jun,
year         =   1987,
publisher    =   "American Mathematical Society",
series       =   "Contemporary Mathematics",
number       =   92)

@proceedings     (CombAndFPL85,
title        =   "Combinators and Functional Programming Languages",
booktitle    =   "Combinators and Functional Programming Languages",
editor       =   "Guy Cousineau and Pierre-Louis Curien and Bernard
                  Robinet",
month        =   may,
year         =   1985,
publisher    =   Springer,
series       =   LNCS,
number       =   "242")

@proceedings     (Berlin88Conf,
title        =   "Categorical Methods in Computer Science with Aspects
                  from Topology (Berlin, FRG)",
booktitle    =   "Categorical Methods in Computer Science with Aspects
                  from Topology (Berlin, FRG)",
editor       =   "H. Ehrig and H. Herrlich 
                  and H.-J. Kreowski
                  and G. Preu\ss",
fulleditor   =   "H[artmut] Ehrig and H[orst] Herrlich 
                  and H[ans]-J[{\"{o}}rg] Kreowski
                  and G[erhard] Preu\ss",
month        =   sep,
year         =   1988,
publisher    =   Springer,
series       =   LNCS,
number       =   "393")

@proceedings     (LICS89,
title        =   "Fourth Annual Symposium on Logic in Computer Science",
booktitle    =   "Fourth Annual Symposium on Logic in Computer Science
                  (Asilomar, CA)",
month        =   jun,
year         =   1989,
publisher    =   "IEEE Computer Society Press")

@proceedings     (LICS90,
title        =   "Fifth Annual Symposium on Logic in Computer Science",
booktitle    =   "Fifth Annual Symposium on Logic in Computer Science
                  (Philadelphia, PA)",
month        =   jun,
year         =   1990,
publisher    =   "IEEE Computer Society Press")

@proceedings     {SemOfDataTypes84,
title        =   "Semantics of Data Types",
booktitle    =   "Semantics of Data Types",
editor       =   "G. Kahn and D. B. MacQueen and G. D. Plotkin",
fulleditor   =   "G[illes] Kahn and D[avid] B. MacQueen and 
                  G[ordon] D. Plotkin",
series       =   "Lecture Notes in Computer Science",
number       =   "173",
publisher    =   Springer,
address      =   "Berlin",
year         =   "1984"}

@book            (HandbookOfMathLogic,
title        =   "Handbook of Mathematical Logic",
booktitle    =   "Handbook of Mathematical Logic",
editor       =   "Jon Barwise",
publisher    =   "North Holland",
series       =   "Studies in Logic and the FOundations of Mathematics",
number       =   90,
year         =   1977,
callnumber   =   "E&S-REF 510.1 H23")

@book            (HandbookOfTCS:old,
title        =   "Handbook of Theoretical Computer Science",
booktitle    =   "Handbook of Theoretical Computer Science",
editor       =   "Jan van Leeuwen",
publisher    =   "Elsevier / MIT Press",
year         =   1990,
checked      =   yes,
)

@book            (HandbookOfTCSVolA,
title        =   "Handbook of Theoretical Computer Science, Volume A",
booktitle    =   "Handbook of Theoretical Computer Science, Volume A",
editor       =   "Jan van Leeuwen",
publisher    =   "Elsevier / MIT Press",
year         =   1990,
checked      =   yes,
)

@book            (HandbookOfTCSVolB,
title        =   "Handbook of Theoretical Computer Science, Volume B",
booktitle    =   "Handbook of Theoretical Computer Science, Volume B",
editor       =   "Jan van Leeuwen",
publisher    =   "Elsevier / MIT Press",
year         =   1990,
checked      =   yes,
)

@proceedings     (BristolLogicColloq73,
title        =   "Logic Colloquium '73 (Bristol, England)", 
booktitle    =   "Logic Colloquium '73 (Bristol, England)", 
editor       =   "Rose, H. E. and Shepherdson, J. C.",
fulleditor   =   "Rose, H. E. and Shepherdson, J[ohn] C.",
year         =   1975,
publisher    =   "North Holland",
pages        =   "175-230",
callnumber   =   "510.1 L832c",
series       =   "Studies in Logic and the Foundations of Mathematics",
number       =   "80")

@book            (CurryFestschrift,
title        =   "To H. B. Curry: Essays on Combinatory Logic, Lambda
                  Calculus and Formalism",
booktitle    =   "To H. B. Curry: Essays on Combinatory Logic, Lambda
                  Calculus and Formalism",
editor       =   "J. P. Seldin and J. R. Hindley",
fulleditor   =   "J[onathan] P. Seldin and J. R[oger] Hindley",
publisher    =   "Academic Press",
year         =   1980)

@proceedings     (TACS91,
title        =   "Theoretical Aspects of Computer Software (Sendai, Japan)",
booktitle    =   "Theoretical Aspects of Computer Software (Sendai, Japan)",
editor       =   "T. Ito and A. R. Meyer",
month        =   sep,
year         =   1991,
publisher    =   Springer,
series       =   LNCS,
number       =   "526")

@proceedings     (POPL92,
title        =   "Proceedings of the Nineteenth ACM Symposium on
                  Principles of Programming Languages (Albequerque,
                  New Mexico)", 
booktitle    =   "Proceedings of the Nineteenth ACM Symposium on
                  Principles of Programming Languages (Albequerque,
                  New Mexico)", 
month        =   jan,
year         =   1992,
)

@book            (HuetYOP,
title        =   "Logical Foundations of Functional Programming",
booktitle    =   "Logical Foundations of Functional Programming",
editor       =   "G\'{e}rard Huet",
publisher    =   "Addison-Wesley",
year         =   1990,
series       =   "University of Texas at Austin Year of Programming Series")

@book            (Odifreddi90,
title        =   "Logic and Computer Science",
booktitle    =   "Logic and Computer Science",
editor       =   "Piergiorgio Odifreddi",
publisher    =   "Academic Press",
year         =   1990,
series       =   "APIC Studies in Data Processing",
number       =   "31")

@Proceedings{LICS4,
title={Proceedings, Fourth Annual Symposium on Logic in Computer
Science},
booktitle={Proceedings, Fourth Annual Symposium on Logic in Computer
Science},
year=1989,
month={5--8 } # jun,
address={Asilomar Conference Center, Pacific Grove, California},
organization={IEEE Computer Society Press},
crossrefonly=1,
comment={IEEE Computer Society Order Number 1954; Library of Congress
Number 89-83865; IEEE Catalog Number 89CH2753-2; ISBN 0-8186-1954-6;
SAN 264-620X}
}

@Proceedings{LICS7,
title={Proceedings, Seventh Annual IEEE Symposium on Logic in Computer
Science},
booktitle={Proceedings, Seventh Annual IEEE Symposium on Logic in
Computer Science},
year=1992,
month={22--25 } # jun,
address={Santa Cruz, California},
organization={IEEE Computer Society Press},
crossrefonly=1,
comment={IEEE Computer Society Order Number 2735; Library of Congress
Number 91-78307; IEEE Catalog Number 92CH3127-8; ISBN 0-8186-2735-2}
}