Strictness analysis and polymorphic invariance (1986)

by S Abramsky
Venue:Programs as Data Objects