News/1985
< News
Jump to navigation
Jump to search
- "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)