Miranda: a non-strict functional language with polymorphic types (1985)

by D A Turner
Venue:Proc. Functional Programming and Computer Architecture; LNCS 201