@InProceedings{   Jones:1997aa,
  Author        = "Jones, Mark P.",
  BookTitle     = "Proc. of POPL'97",
  date-added    = "2017-06-26 17:41:20 +0000",
  date-modified = "2017-06-26 17:41:47 +0000",
  Title         = "First-class Polymorphism with Type Inference",
  Year          = "1997",
  File          = "popl97-fcp (0) - a - a - b.pdf"
}

@InProceedings{ Jones:1997aa, Author = "Jones, Mark P.", BookTitle = "Proc. of POPL'97", date-added = "2017-06-26 17:41:20 +0000", date-modified = "2017-06-26 17:41:47 +0000", Title = "First-class Polymorphism with Type Inference", Year = "1997", File = "popl97-fcp (0) - a - a - b.pdf" }