Edinburgh ML
Based on
FranzLISP
Based on
PRL
Evolution of
Nuprl (1244)