@TechReport{      Piercec,
  Author        = "Pierce, Benjamin",
  date-added    = "2013-07-04 15:59:50 +0000",
  date-modified = "2013-07-04 16:00:29 +0000",
  Institution   = "Carnegie Mellon University",
  Keywords      = "intersection types",
  Title         = "Programming with intersection types, union types, and polymorphism",
  Year          = "1991",
  File          = "Programming with intersection types, union types, and polymorphism - Pierce (1) (0) - a - a - v.pdf",
  file-2        = "Programming with intersection types, union types, and polymorphism - Pierce (0) (0) - a - a - v.pdf"
}

@TechReport{ Piercec, Author = "Pierce, Benjamin", date-added = "2013-07-04 15:59:50 +0000", date-modified = "2013-07-04 16:00:29 +0000", Institution = "Carnegie Mellon University", Keywords = "intersection types", Title = "Programming with intersection types, union types, and polymorphism", Year = "1991", File = "Programming with intersection types, union types, and polymorphism - Pierce (1) (0) - a - a - v.pdf", file-2 = "Programming with intersection types, union types, and polymorphism - Pierce (0) (0) - a - a - v.pdf" }