Ynot: Dependent Types for Imperative Programs (2008)

by A Nanevski, G Morrisett, A Shinnar, P Govereau, L Birkedal
Venue:In ICFP ’08: Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming