@InProceedings{   DBLP:conf/ifip/Reynolds83,
  Author        = "Reynolds, John C.",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "IFIP Congress",
  date-added    = "2013-01-30 17:08:39 +0000",
  date-modified = "2013-01-30 17:10:02 +0000",
  Keywords      = "type theory and classic",
  Pages         = "513-523",
  Title         = "Types, Abstraction and Parametric Polymorphism",
  Year          = "1983",
  File          = "Types, Abstraction and Parametric Polymorphism - Reynolds (0) (0) - a - a - p.pdf"
}

@InProceedings{ DBLP:conf/ifip/Reynolds83, Author = "Reynolds, John C.", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "IFIP Congress", date-added = "2013-01-30 17:08:39 +0000", date-modified = "2013-01-30 17:10:02 +0000", Keywords = "type theory and classic", Pages = "513-523", Title = "Types, Abstraction and Parametric Polymorphism", Year = "1983", File = "Types, Abstraction and Parametric Polymorphism - Reynolds (0) (0) - a - a - p.pdf" }