Towards relating forwards and backwards analyses (1990)

by R J M Hughes, J Launchbury
Venue:Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming