Certified Programming with Dependent Types

Related

• 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!

• Simply Scheme: Introducing Computer Science

  cs.berkeley.edu · 2009-07-07 · Page

• Learn You a Haskell for Great Good!

  learnyouahaskell.com · 2008-10-18 · Page

  Teh new awesomeness in programming language books crowd.

• Refactoring Ruby with Monads

  codon.com · 2014-10-03 · Page

  When I say "Monads aren't difficult, and you are smart enough to understand them," I'm now going to link to

• CS240h: Functional Systems in Haskell

  scs.stanford.edu · 2014-04-10 · Page

  CS240h: Functional Systems in Haskell #haskell #systems #programming #functional