Ynot: dependent types for imperative programs (2008)

by A Nanevski, G Morrisett, A Shinnar, P Govereau, L Birkedal
Venue:In ICFP