@PhdThesis{       cite-brady,
  Author        = "Brady, Edwin",
  date-added    = "2020-10-16 17:29:36 +0200",
  date-modified = "2020-10-16 17:29:59 +0200",
  Title         = "Practical Implementation of a Dependently Typed Functional Programming Language",
  Year          = "2005",
  File          = "Practical Implementation of a Dependently Typed Functional Programming Language - thesis - a - g.pdf"
}

@PhdThesis{ cite-brady, Author = "Brady, Edwin", date-added = "2020-10-16 17:29:36 +0200", date-modified = "2020-10-16 17:29:59 +0200", Title = "Practical Implementation of a Dependently Typed Functional Programming Language", Year = "2005", File = "Practical Implementation of a Dependently Typed Functional Programming Language - thesis - a - g.pdf" }