Elements of ML ProgrammingThis book offers both an accurate, step-by-step introductory tutorial on ML programming and a complete reference to advanced features. It also features a description of SML/NJ, an ML dialect used with UNIX. The material is arranged so that it may be used in a number of courses, different settings, for class discussion or self-study. It takes a practical approach, applicable for sophomores through grad students, sets a reasonable pace without assuming previous knowledge of ML or functional programming. The book can also be used as supplement or reference for programming language concepts, sophisticated functional programming, or compiler courses. |
Contents
A Perspective on ML and SMLNJ | 1 |
Expressions | 7 |
Type Consistency | 14 |
Copyright | |
25 other sections not shown
Other editions - View all
Common terms and phrases
allow appear apply argument array basis binary binding bool btree Chapter character comb component compute consisting construct convert create data constructors datatype define definition delete described digits discussed element empty entry environment equality error evaluate Example exception execute Exercise expression false field Finally function functor give given handle head identifier implementations infix input insert integer keyword label languages length match node Note operand operator pair parameters parentheses pattern polynomial position possible precedence produces raise record recursive refer represented requires response result returns reverse root separated shows signature single SML/NJ solution specifications square string structure subtree tail takes tree true tuple unit variable write