ML for the Working Programmer, 1st Edition

Sample programs

• DISCLAIMER OF WARRANTY -- please read
• Lists and trees
• Functions as values: lazy lists, search strategies
• Modules
• Imperative Programming: lazy lists using references, ring buffers, V-arrays, input/output, pretty printing
• Parsing and pretty-printing
• Lambda-calculus reducer
• Theorem prover
• Change log

Back to ML for the Working Programmer, main page