John Hughes, John Launchbury. Towards Relating Forwards and Backwards Analyses. In Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst, editors, Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland, UK, August 13-15, 1990. Workshops in Computing, pages 101-113, Springer, 1990. [doi]
Abstract is missing.