Dependent types, ATS etc.,
Related
Dependently Typed Programming in Idris: A Demo - David Raymond Christiansen
bmsherman.github.io · · Page
that's a cool slide + video advance program they are using!
Certified Programming with Dependent Types
adam.chlipala.net · · Page
Certified Programming with Dependent Types latest update September 26, 2013
Tags » ats - ATS related blog posts at BluishCoder.Co.Nz
bluishcoder.co.nz · · Page
Why ATS?
sourceforge.net · · Page
John Skaller has a good overview of the ATS approach to safe software @junglecode