On bunched typing (2003)

by P O’Hearn
Venue:Journal of Functional Programming