Inference of polymorphic and conditional strictness properties (1998)

by T Jensen
Venue:In Conf. Rec. POPL ’98: 25th ACM Symp. Princ. of Prog. Langs