Strictness, totality, and non-standard type inference (2002)

by M Coppo, F Damiani, P Giannini
Venue:Theoret. Comput. Sci