Ynot: Dependent types for imperative programs (2008)

by Aleksandar Nanevski , Greg Morrisett , Avi Shinnar , Paul Govereau , Lars Birkedal
Venue:In Proceedings of ICFP 2008
Citations:36 - 10 self