CSE 130: Principles of Programming Languages
Notes on Chapter 8 of Sethi (functional programming and ML)

ML comes from "Meta Language," and it was originally designed to be an auxiliary language for the LCF theorem proving system due to Robin Milner (LCF stands for Logic of Computable Functions, and was an implementation of a logic due to Dana Scott). Today, LCF is of only historical interest, while ML has become quite important. .....


To CSE 130 notes page
To CSE 130 homepage
Maintained by Joseph Goguen
© 2000 - 2004 Joseph Goguen
Last modified: Fri Feb 6 09:30:14 PST 2004