Strictness analysis and polymorphic invariance (1985)

by S Abramsky
Venue:Abr85] [Abr89] [Abr90] [AH87b] [AJ91] [ASU86] [Aug84] [AJ89] [BH90