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.

Authors

Kei Davis

This author has not been identified. It may be one of the following persons: Look up 'Kei Davis' in Google

Philip Wadler

Identified as Philip Wadler