A Note on the Choice of Domains for Projection-Based Program Analysis (1991)

by K Davis
Venue:In Functional Programming: Proceedings of the 1991 Glasgow Workshop