The type and effect discipline. Pages 162--173 of (1992)

by Jean-Pierre Talpin
Venue:the IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos, Calif