Ynot: Reasoning with the awkward squad (2008)

by A Nanevski, G Morrisett, A Shinnar, P Govereau, L Birkedal
Venue:In ICFP