Edinburgh University(38)

Languages:

• COWSEL (1964)
• POP-1 (1966)
• POP-2 (1967) The first true functional language
• Prolog (1971) Logic programming language
• Baroque (1972) Logic programming language
• ML (1973) Meta Language
• POPLER (1971) Hybrid of PLANNER and POP-2
• WPOP (1976)
• HOPE (1978)
• SML (1984) Standard ML
• EML (1985) ML Specification language
• Lisp-Linda (1988)
• Prolog-Linda (1989)
• MIKE (1990)
• ML-Linda (1990)
• Scheme-Linda (1990)
• C++Linda (1991)
• ELLIS (1990)
• ELSIE (1991)
• Pascal-Linda (1991)
• Echidna (1992)
• Edinburgh Prolog (1985)
• IMP (1966) IMProved Autocode
• Oblog (0)
• Prolog-2 (1990)
• HAL (1978)
• EDQUSE (1980)
• SKIMP (1975) Teaching subset of IMP
• IMP 80 (1980)
• IMP 77 (1977)
• IMP 2.2 (1976)
• IMP 2 (1974)
• IMP 1.5 (1970)