Bibliographic record and links to related information available from the Library of Congress catalog
Information from electronic data provided by the publisher. May be incomplete or contain other coding.
Introduction Part I. Basic Principles: 1. Expressions 2. Data structures 3. Semantics 4. Imperative aspects Part II. Applications: 5. Exact arithmetic 6. Formal terms, filtering, and unification 7. Balanced trees 8. Graphs and problem resolution 9 Syntactic analysis 10. Geometry and designs Part III. Implementation: 11. Evaluation 12. Compilation 13. Types and typing Appendix 1. Help for Caml Light 0.6 Appendix 2. How to Get Caml, MLgraph, and the examples Bibliography Index.