Strictness analysis in logical form (1991)

by Thomas P Jensen
Venue:In Proceedings FPCA'91, LNCS 523