Ynot: Reasoning with the awkward squad (2008)

by Aleksandar Nanevski , Greg Morrisett , Avi Shinnar , Paul Govereau , Lars Birkedal
Venue:In ACM SIGPLAN International Conference on Functional Programming
Citations:16 - 0 self