Collecting interpretations of expressions (1991)

by P Hudak, J Young
Venue:ACM Transactions on Programming Languages and Systems