Programming Languages BooksML Books

Elements of ML Programming, 2nd Edition (ML97)

Advertisement

Elements of ML Programming, 2nd Edition (ML97)

Elements of ML Programming, 2nd Edition (ML97)

This note covers the following topics: Defining Functions, Input and Output, ML Data Structures, Encapsulation and the ML Module System, ML Standard Basis.

Author(s):

sNA Pages
Similar Books
The History of Standard ML

The History of Standard ML

This PDF covers the following topics related to Standard ML : Why Is Standard ML important?, Background, An Overview of the History of Standard ML, The SML Type System, Modules, The Definition of Standard ML, Type Theory and New Definitions of Standard ML, The SML Basis Library, Conclusion.

s100 Pages
Functional Programming with ML

Functional Programming with ML

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.

s208 Pages

Advertisement