@STRING{IDA = "Department of Computer and Information Science, {Link{\"o}ping} University"}
@STRING{LASC = "Lisp and Symbolic Computation"}
@STRING{TMITP = "The MIT Press"}

@TechReport{Haskell96,
  author =	{John Peterson and Kevin Hammond (eds.)},
  title =	{Report on the Programming Language {Haskell}, Version 1.3},
  institution = {Yale University},
  number =	{YALEU/DCS/RR-1106},
  month =	{May 1,},
  year =	1996
}

@Book{MTH90,
  author =	{Robin Milner and Mads Tofte and Robert Harper},
  title =	{The Definition of {Standard} {ML}},
  publisher =	TMITP,
  year =	1990
}

@Book{MT91,
  author =	{Robin Milner and Mads Tofte},
  title =	{Commentary on {Standard} {ML}},
  publisher =	TMITP,
  year =	1991
}

@Book{MTHM97,
  author =	{Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
  title =	{The Definition of {Standard} {ML} (Revised)},
  publisher =	TMITP,
  year =	1997
}

@PhDThesis{Pettersson95:thesis,
  author =	{Mikael Pettersson},
  title =	{Compiling Natural Semantics},
  school =	IDA,
  month =	dec,
  year =	1995
}

@Article{Wright95,
  author =	{Andrew K. Wright},
  title =	{Simple Imperative Polymorphism},
  journal =	LASC,
  year =	{to appear late 1995},
  note =	{Earlier version in Rice Univ. Dept. of CS Technical Report TR93-200},
  annote =	"Polymorphism only for syntactic values. No imptyvars. COOL!"
}
