@Misc{            Wadlerb,
  Author        = "Wadler, Philip",
  date-added    = "2014-09-12 05:48:29 +0000",
  date-modified = "2014-09-12 05:48:44 +0000",
  Title         = "Propositions as Types",
  File          = "Propositions as Types - Wadler (0) (0) - a - a - b.pdf"
}

@Misc{ Wadlerb, Author = "Wadler, Philip", date-added = "2014-09-12 05:48:29 +0000", date-modified = "2014-09-12 05:48:44 +0000", Title = "Propositions as Types", File = "Propositions as Types - Wadler (0) (0) - a - a - b.pdf" }