A non-strict language with polymorphic types (1985)

by Miranda
Venue:In Proceedings 1985 Conference on Functional Programming Languages and Computer Architecture