Empty types in polymorphic lambda calculus (1987)

by A R Meyer, J C Mitchell, E Moggi, R Statman
Venue:In Proc. 14th ACM Symposium on Principles of Programming Languages