A Collecting Interpretation of Expressions (Without Powerdomains).

Paul Hudak, Jonathan Young

Browse the full POPL paper archive.