@TechReport{      NorellChapman,
  Author        = "Norell, Ulf and Chapman, James",
  date-added    = "2013-06-11 08:10:29 +0000",
  date-modified = "2013-06-11 08:10:54 +0000",
  Keywords      = "dependent types and Agda",
  Title         = "Dependently Typed Programming in Agda",
  Year          = "2008",
  File          = "Dependently Typed Programming in Agda - Norell, Chapman (0) (0) - a - a - q.pdf"
}

@TechReport{ NorellChapman, Author = "Norell, Ulf and Chapman, James", date-added = "2013-06-11 08:10:29 +0000", date-modified = "2013-06-11 08:10:54 +0000", Keywords = "dependent types and Agda", Title = "Dependently Typed Programming in Agda", Year = "2008", File = "Dependently Typed Programming in Agda - Norell, Chapman (0) (0) - a - a - q.pdf" }