DMCA

Monadic Regions

by Matthew Fluet , Greg Morrisett
Venue:UNDER CONSIDERATION FOR PUBLICATION IN J. FUNCTIONAL PROGRAMMING
Citations:23 - 1 self