Projections for polymorphic first-order strictness analysis (1992)

by R J M Hughes, J Launchbury
Venue:Math. Struct. in Comp. Science