programming without recursive types (1992)

by Object-oriented
Venue:In Proceedings of the 20th ACM Symposium on Principles of Programming Languages