@InProceedings{   WadlerAgda,
  Author        = "Wadler, Philip",
  BookTitle     = "XXI Brazilian Symposium on Formal Methods",
  date-added    = "2018-12-04 10:57:53 +0100",
  date-modified = "2018-12-04 11:01:08 +0100",
  Title         = "Programming Language Foundations in Agda",
  Year          = "2018",
  bdsk-url-1    = "https://plfa.github.io/",
  File          = "sbmf (0) - a - a - o.pdf",
  file-2        = "plfa.github-a (0) - a - a - o.io",
  file-3        = "Programming Language Foundations in Agda - PLFA - a - a - a - o.pdf"
}

@InProceedings{ WadlerAgda, Author = "Wadler, Philip", BookTitle = "XXI Brazilian Symposium on Formal Methods", date-added = "2018-12-04 10:57:53 +0100", date-modified = "2018-12-04 11:01:08 +0100", Title = "Programming Language Foundations in Agda", Year = "2018", bdsk-url-1 = "https://plfa.github.io/", File = "sbmf (0) - a - a - o.pdf", file-2 = "plfa.github-a (0) - a - a - o.io", file-3 = "Programming Language Foundations in Agda - PLFA - a - a - a - o.pdf" }