Functional Programming with MLNAPDF
| 208 Pages
This note covers the following topics:
Backus’ FP Systems, Mathematical Functions and First Steps in ML, Basic
Datatypes and Lists in ML, Evaluation of Expressions and Recursive Functions,
Local Declarations and Modules, Polymorphic Type Checking, Datatype Exception
and Recursive Datatypes, Reasoning about Functional Programs, Domain Theory and
Fixpoint Semantics, Imperative Programming.