News/1985
From HaskellWiki
- "Abstract data types have existential type" (Mitchell, Plotkin)
- "List comprehension" terminology (Wadler)
- Language: Miranda (Turner)
- Language: Orwell (Wadler)
- Language: Ponder (Fairbairn)
- Language: Daisy (O'Donnell, Hall)