@TechReport{      Kanellakis:1990:UMT:864848,
  Author        = "Kanellakis, Paris C. and Mairson, Harry G. and Mitchell, John C.",
  Address       = "Providence, RI, USA",
  date-added    = "2013-07-10 08:41:29 +0000",
  date-modified = "2013-07-10 08:44:11 +0000",
  Keywords      = "polymorphic types",
  Publisher     = "Brown University",
  source        = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Abrowncs\%3ABrownCS\%2F\%2FCS-90-26",
  Title         = "Unification and ML Type Reconstruction",
  Year          = "1990",
  File          = "Unification and ML Type Reconstruction - Kanellakis, Mairson, Mitchell (0) (0) - a - a - q.pdf"
}

@TechReport{ Kanellakis:1990:UMT:864848, Author = "Kanellakis, Paris C. and Mairson, Harry G. and Mitchell, John C.", Address = "Providence, RI, USA", date-added = "2013-07-10 08:41:29 +0000", date-modified = "2013-07-10 08:44:11 +0000", Keywords = "polymorphic types", Publisher = "Brown University", source = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Abrowncs\%3ABrownCS\%2F\%2FCS-90-26", Title = "Unification and ML Type Reconstruction", Year = "1990", File = "Unification and ML Type Reconstruction - Kanellakis, Mairson, Mitchell (0) (0) - a - a - q.pdf" }