CL Hankin and S Abramsky The theory of strictness analysis for higher order functions (0)

by GL Burn
Venue:in Proceedings of the Workshop on Programs as data objects, Copenhagen, eds H Ganzinger and N Jones, Springer Verlag Lecture Notes in Computer Science Vol 217,1985