H ? « ‹ ← → › »

Language peer sets for HOL-90:
United Kingdom↑
United Kingdom/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

HOL-90(ID:3309/hol003)

alternate simple view

Country: United Kingdom
Designed 1990
Published: 1990

evolution of HOL

Related languages

HOL-88	→	HOL-90		Evolution of
SML/NJ	→	HOL-90		Written using

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder