Operational theories of improvement in functional languages (1991)

by D Sands
Venue:In Proc. 1991 Glasgow Workshop on Functional Programming