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

by Miranda
Venue:In Proceedings of