Type' IsNot a Type: Preliminary Report (1986)

by A R Meyer, M B Reinhold
Venue:Proceedings of POPL'86 Symposium, St-Petersburg Beach