Empty types in polymorphic lambda calculus (1990)

by A R Meyer, J C Mitchell, E Moggi, R Statman
Venue:Proc. 14th ACM Symp. on Principles of Programming Languages, 253{262; revised version in Logical Foundations of Functional Programming