Functional Programming with ML
Overview & Synopsis
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.
Indexed from repository: FreeBookCentre
(
freebookcentre.net)
Document Information
| Document Title | Functional Programming with ML |
|---|---|
| Author / Organization | NA |
| Categories | ML |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
FreeBookCentre
(freebookcentre.net)
|
| File Format | application/pdf (Portable Document Format) |
| Page Count | 208 pages |
| Language | EN |
| Catalog ID | DOC-309931 |
| Original Source Link | Visit Source Page on freebookcentre.net » |