Ynot: dependent types for imperative programs

Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal. Ynot: dependent types for imperative programs. In James Hook, Peter Thiemann, editors, Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008. pages 229-240, ACM, 2008. [doi]

Authors

Aleksandar Nanevski

This author has not been identified. Look up 'Aleksandar Nanevski' in Google

Greg Morrisett

This author has not been identified. Look up 'Greg Morrisett' in Google

Avraham Shinnar

This author has not been identified. Look up 'Avraham Shinnar' in Google

Paul Govereau

This author has not been identified. Look up 'Paul Govereau' in Google

Lars Birkedal

This author has not been identified. Look up 'Lars Birkedal' in Google