Strictness computation using special lambda-expressions (1985)

by D Maurer
Venue:Proceedings of the Workshop on Programs as Data Objects