Monadic regions (2006)

by M Fluet, G Morrisett