Monadic regions (2006)

by M Fluet, J G Morrisett
Venue:J. Funct. Program