Ynot: Reasoning with the awkward squad (0)

by A Nanevski, G Morrisett, A Shinnar, P Govereau, L Birkedal
Venue:In Proceedings of International Conference on Functional Programming