Ynot: Dependent types for imperative programs
Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming
ICFP '08
Victoria, BC, Canada
Association for Computing Machinery
New York, NY, USA
Pages 229–240
2008
Topic(s): types verification
Note(s): linear logic, dependent type, permission logic
ICFP '08
Victoria, BC, Canada
Association for Computing Machinery
New York, NY, USA
Pages 229–240
2008
Topic(s): types verification
Note(s): linear logic, dependent type, permission logic