a non-strict language with polymorphic types (1985)

by Miranda
Venue:In Proceedings of the International Conference on Functional Programming Languages and Computer Architecture (LNCS