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

by D A Turner
Venue:Functional Programming Languages and Computer Architecture, Volume 201 of Lecture Notes in Computer Science