Strictness properties of lazy algebraic datatypes (1993)

by P N Benton
Venue:in Proceedings WSA'93, LNCS 724