HOL-90(ID:3309/hol003)
Country: uk
languages for uk
uk/1990
Began: 1990
Languages for 1990
1990s languages
Fifth generation
Post-Cold War
Published: 1990
1990
evolution of HOL
Related languages
HOL-88
=>
HOL-90
Evolution of
SML/NJ
=>
HOL-90
Written using