3 ms·
You'd be hard-pressed. Pre-SML, it mostly only saw the light of day as a the metalanguage of a theorem prover named LCF. Which I think ran on a PDP-11 or a VAX
by mumblemumble 7y ago
You'd be hard-pressed. Pre-SML, it mostly only saw the light of day as a the metalanguage of a theorem prover named LCF. Which I think ran on a PDP-11 or a VAX or something like that.
https://apps.dtic.mil/dtic/tr/fulltext/u2/785072.pdf https://apps.dtic.mil/dtic/tr/fulltext/u2/785072.pdf