Edinburgh University(38)
Country:
United Kingdom
Org type:
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)
@>