1
by Lee, Kent D., Lee, Kent D.
Published 2014
Table of Contents: ... -- Prolog -- Type Inference -- The CoCo Virtual Machine Specification -- The Standard ML Basis Library....
View full text
Electronic eBook
2
Table of Contents: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
View full text
Electronic eBook