Colin Runciman, Mike Firth, Nigel Jagger. Transformation in a Non-Strict Language: An Approach to Instantiation. In Kei Davis, John Hughes, editors, Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Workshops in Computing, pages 133-141, Springer, 1989.
Abstract is missing.