Certified Programming with Dependent Types

cover

@Book{            Chlipala:MIT:2013,
  Author        = "Chlipala, Adam",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-11-14 22:52:18 +0100",
  Keywords      = "Coq",
  Publisher     = "MIT Press",
  Title         = "Certified Programming with Dependent Types",
  Year          = "2013",
  File          = "Certified Programming with Dependent Types - a - a.pdf"
}

@Book{ Chlipala:MIT:2013, Author = "Chlipala, Adam", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-11-14 22:52:18 +0100", Keywords = "Coq", Publisher = "MIT Press", Title = "Certified Programming with Dependent Types", Year = "2013", File = "Certified Programming with Dependent Types - a - a.pdf" }