Backwards Strictness Analysis: Proved and Improved

Kei Davis, Philip Wadler. Backwards Strictness Analysis: Proved and Improved. 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 12-30, Springer, 1989.

Abstract

Abstract is missing.