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

by Miranda
Venue:LNCS 201: Proceedings of Conference onFunctional Programming Languages and Computer Architecture