Home > Electronics Tutorials > Online Computer Terms Dictionary > h

Online Computer Terms Dictionary - H

HOL-90

An implementation of HOL built on SML/NJ by Brian Graham <graham@cpsc.ucalgary.ca>. Runs on Sun-4.

ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z. Mailing list: info-hol@clover.ucdavis.edu.

 


Nearby terms: hog HOL HOL-88 HOL-90 hole hole model Hollerithabetical order
 

Discover

     more......