H ? « ‹ ← → › »

Language peer sets for HOL-88:
United Kingdom↑
United Kingdom/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

HOL-88(ID:3308/hol002)

alternate simple view
Country: United Kingdom
Designed 1988
Published: 1988

HOL implementation in ML
Related languages
HOL → HOL-88   Implementation
ML → HOL-88   Based on
ML → HOL-88   Written using
HOL-88 → HOL-90   Evolution of
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder