<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
% $Id: report.bib,v 1.1.1.1 2002/03/26 16:48:03 cclifton Exp $
%
% Bibliography for the Foundations of OO Languages Workshop, Paris, July, 1994.
% This bibliography is in BibTeX format.
%
% Entries are in alphabetical order by author's family name.

@string{ACM = "ACM"}
@string{LNCS = "Lecture Notes in Computer Science"}
@string{NY = "New York, NY"}
@string{POPL = "Annual ACM Symposium on Principles of Programming Languages"}
@string{SIGPLAN = "ACM SIGPLAN Notices"}
%	TOPLAS="ACM Transactions on Programming Languages and Systems"


@InProceedings{Abadi-Cardelli94b,
  Key = "Abadi \& Cardelli",
  Author = {M. Abadi and L. Cardelli},
  Title = {A theory of primitive objects: second-order systems},
  BookTitle = {Proc. of European Symposium on Programming},
  Editor = "D. Sannella",
  Year = {1994},
  Publisher = {Springer Verlag},
  Address = NY,
  Series = LNCS,
  Volume = 788,
  Pages = "1-25"
}

@InCollection{Abadi-Cardelli94,
  Key = 	"Abadi \& Cardelli",
  Author = 	{Mart\'{\i}n Abadi and Luca Cardelli},
  Title = 	"A Theory of Primitive Objects --- Untyped and
		 First-Order Systems",
  BookTitle = 	"Theoretical Aspects of Computer Software",
  Publisher = 	"Springer-Verlag",
  Address =	NY,
  Year = 	1994,
  Editor = 	"Masami Hagiya and John C. Mitchell",
  Series = 	LNCS,
  Volume = 	789,
  Pages = 	"296-320",
  Month = 	Apr,
  Annote = 	"19 references."
}

@InProceedings{Abadi-Cardelli94d,
  Key = 	"Abadi \& Cardelli",
  Author = 	"Mart\'{\i}n Abadi and Luca Cardelli",
  Title = 	"A Semantics of Object Types",
  BookTitle = 	"Ninth Annual IEEE Symposium on Logic in Computer
		 Science, Paris, France",
  Year = 	1994,
  Pages = 	"332-341",
  Organization = 	"IEEE",
  Address = 	"Los Alamitos, CA",
  Month = 	Jul,
  Annote = 	"28 references."
}


@InProceedings{Abiteboul-Kanellakis-Waller90,
  Key="Abiteboul \& Kanellakis \& Waller",
  Author="Serge Abiteboul and Paris C. Kanellakis and Emmanuel Waller",
  Title="Method Schemas (Preliminary Report)",
  BookTitle="Principles of Data Base Systems, Nashville",
  Organization=ACM,
  Year=1990,
  Pages="16-27"
}

@Article{Amadio-Cardelli93,
  Key = 	"Amadio \& Cardelli",
  Author = 	"Roberto M. Amadio and Luca Cardelli",
  Title = 	"Subtyping Recursive Types",
  Journal = 	TOPLAS,
  Year = 	1993,
  Volume=	15,
  Number = 	4,
  Month = 	Sep,
  Pages=	"575-631",
  Annote = 	"29 references."
}

@Article{Black-Palsberg93,
  Key = "Black \& Palsberg",
  Author = {Andrew Black and Jens Palsberg},
  Title = {Foundations of Object-Oriented Languages: Workshop Report},
  Journal = SIGPLAN,
  Year = 1994,
  Volume = 29,
  Number = 3,
  Month = Mar,
  Pages = "3-11",
  Note = {The bibliography was truncated in the published version.
          Obtain the full report by anonymous ftp from {\tt crl.dec.com}
		in {\tt pub/DEC/sigplan94.ps.Z}.}
}

@Article{Bruce94,
  Key = "Bruce",
  Author = {K.B. Bruce},
  Title = {A Paradigmatic Object-Oriented Programming Language: Design,  
		Static Typing and Semantics},
  Journal = "Journal of Functional Programming",
  Volume = 4,
  Number = 2,
  Month = Apr,
  Year = 1994,
  Pages = "127-206"
}

@Unpublished{Bruce-Schuett-vanGent94,
  Key = 	"Bruce \& Schuett \& vanGent",
  Author = 	"Kim B. Bruce and Angela Schuett and Robert van Gent",
  Title = 	"A type-safe polymorphic object-oriented language",
  Note = 	"Obtain by anonymous ftp from {\tt cs.williams.edu} in
		 {\tt pub/kim/PolyTOIL.dvi}.",
  Month = 	Jul,
  Year = 	1994
}

@TechReport{Castagna94,
  Key = "Castagna",
  Author = {G. Castagna},
  Title = {Covariance and contravariance: conflict without a cause},
  Institution = {LIENS},
  Year = {1994},
  Number = {liens-94-18},
  Month = Oct,
  Note = {Available by anonymous ftp from {\tt ftp.ens.fr} in file {\tt  
		/pub/dmi/users/castagna/covariance.dvi.Z}}
}

@InCollection{Chambers92,
  Key =		"Chambers",
  Author =	"Craig Chambers",
  Title =	"Object-Oriented Multi-Methods in {Cecil}",
  BookTitle = 	"ECOOP '92, European Conference on Object-Oriented Programming,
		 Utrecht, The Netherlands",
  Publisher = 	"Springer-Verlag",
  Year = 	1992,
  Editor = 	"Ole Lehrmann Madsen",
  Series = 	LNCS,
  Address = 	NY,
  Volume =      615,
  Pages =	"33-56",
  Annote = 	"40 references"
}

@InProceedings{Chambers-Leavens94,
  Key = 	"Chambers \& Leavens",
  Author = 	"Craig Chambers and Gary T. Leavens",
  Title = 	"Typechecking and Modules for Multi-Methods",
  BookTitle =	"OOPSLA '94 Conference Proceedings, Portland, Oregon.",
  Series =	SIGPLAN,
  Volume =	29,
  Month =	Oct,
  Year =	1994,
  Pages	=	"1-15",
  Organization = ACM,
  Annote = 	"Over 47 references."
}

@InCollection{Cook91,
  Key = 	"Cook",
  Author = 	"William R. Cook",
  Title = 	"Object-Oriented Programming Versus Abstract Data Types",
  BookTitle = 	"Foundations of Object-Oriented Languages, REX
		 School/Workshop, Noordwijkerhout, The Netherlands,
		 May/June 1990",
  Publisher = 	"Springer-Verlag",
  Year = 	1991,
  Editor = 	"J. W. de Bakker and W. P. de Roever and G. Rozenberg",
  Series = 	LNCS,
  Volume = 	489,
  Pages = 	"151-178",
  Address = 	NY,
  Annote = 	"45 references."
}

@InProceedings{Eifrig-etal94,
  Key =		 "Eifrig, {\em et al.}",
  Author = 	 "Jonathan Eifrig and Scott Smith and Valery Trifonov
		  and Amy Zwarico",
  Title = 	 "Application of OOP Type Theory: State, Decidability, Integration",
  Volume =	 29,
  Series =	 SIGPLAN,
  Pages =	 "16-30",
  BookTitle =	 "OOPSLA '94 Conference Proceedings, Portland, Oregon",
  Year =	 1994,
  Organization = ACM,
  Month =	 Oct,
  Annote =	 "19 references."
}

@TechReport{Hofmann-Pierce94,
  Key = 	"Hofmann \& Pierce",
  Author = 	"Martin Hofmann and Benjamin Pierce",
  Title = 	"Positive Subtyping",
  Institution = "Department of Computer Science, University of Edinburgh",
  Year = 	1994,
  Number = 	"ECS-LFCS-94-303",
  Address = 	"Edinburgh, U.K.",
  Month = 	Sep,
  Note =        "An extended abstract will appear in the POPL'95
		  proceedings.  Available by anonymous ftp from {\tt
		  ftp.dcs.ed.ac.uk} in file {\tt pub/bcp/pos.ps.Z}.",
  Annote = 	"25 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{Palsberg-OKeefe94,
  Author    = "Jens Palsberg and Patrick M. O'Keefe",
  Title     = "A Type System Equivalent to Flow Analysis",
  BookTitle = "Conference Record of POPL '95: 22nd Annual
               ACM SIGPLAN--SIGACT Symposium on 
               Principles of Programming Languages, San Francisco, Calif.",
  Month     = "January",
  Year      = 1995,
  Organization = ACM,
  Note      = "To appear.  Available by anonymous ftp from
		  {\tt daimi.aau.dk} in file
		{\tt pub/palsberg/papers/popl95.ps.Z}."
}

@Techreport{Pierce-Turner92b,
  Key	       =   "Pierce \& Turner",
  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         =   "Available by anonymous ftp from {\tt
		  ftp.dcs.ed.ac.uk} in file {\tt
		  pub/bcp/friendly.ps.Z}. Also available as INRIA-Rocquencourt 
                    Rapport de Recherche No. 1899",
}

@Article{Pierce-Turner94,
  Key	       =   "Pierce \& Turner",
  Author = {B.C. Pierce and D.N. Turner},
  Title = {Simple Type-Theoretic Foundations for Object-Oriented Programming},
  Journal = {Journal of Functional Programming},
  Year = 1994,
  Volume = 4,
  Number = 2,
  Month = Apr,
  Pages = "207-248"
}

@InProceedings{Remy94,
  Key = 	"R\'{e}my",
  Author =       "Didier R\'{e}my",
  Title =        "Programming Objects with {ML-ART}:
                  An extension to {ML} with Abstract and Record Types",
  BookTitle = 	"Theoretical Aspects of Computer Software",
  Publisher = 	"Springer-Verlag",
  Address =	NY,
  Year = 	1994,
  Editor = 	"Masami Hagiya and John C. Mitchell",
  Series = 	LNCS,
  Volume = 	789,
  Pages = 	"321-346",
  Month = 	Apr
}

@InCollection{Waller91,
  Key = "Waller",
  Author = {E. Waller},
  Title = {Schema updates and consistency},
  BookTitle = {Deductive and Object-Oriented Databases, second
		  International Conference, Munich, Germany},
  Editor = "C. Delobel and M. Kifer and Y. Masunaga",
  Year = 1991,
  Publisher = "Springer-Verlag",
  Address = NY,
  Series = LNCS,
  Volume = 566,
  Month = Dec,
  Pages = "167-188"
}