C citeseerx.ist.psu.edu Miranda: A non-strict functional language with polymorphic types (1985) [pdf] 95 points tjalfi 9 years ago 37 comments
