#dependent_types

Links Open in the Archive

• publications of Hongwei Xi

  cs.bu.edu · 2014-04-10 · Page

  Dependent types, ATS etc.,

• Dependently Typed Programming in Idris: A Demo - David Raymond Christiansen

  bmsherman.github.io · 2014-03-30 · Page

  that's a cool slide + video advance program they are using!

• Certified Programming with Dependent Types

  adam.chlipala.net · 2011-08-29 · Page

  Certified Programming with Dependent Types latest update September 26, 2013