Ynot: dependent types for imperative programs.

Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal

Browse the full ICFP paper archive.