A Collecting Interpretation of Expressions (Without Powerdomains).

Paul Hudak Jonathan Young A Collecting Interpretation of Expressions (Without Powerdomains). 107-118 1988 POPL db/conf/popl/popl88.html#HudakY88