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

by Miranda
Venue:In Proceeding ofFPCA'85, LNCS 201