Monadic regions (2006)

by Matthew Fluet, Greg Morrisett
Venue:J. Funct. Program