A non-strict functional language with polymorphic types (1985)

by Miranda
Venue:In Functional Programming Languages and Computer Architecture, Lecture Notes in Computer Science 201