Transformation in a Non-Strict Language: An Approach to Instantiation.

Colin Runciman Mike Firth Nigel Jagger Transformation in a Non-Strict Language: An Approach to Instantiation. 133-141 1989 conf/fp/1989 Functional Programming db/conf/fp/fp1989.html#RuncimanFJ89