Can I read Programming in standard ML on EtoBox?

Programming in standard ML by Harper R. is a nonfiction available to read on EtoBox.

What is Programming in standard ML about?

Preface......Page 3 I Overview......Page 11 1.1 A Regular Expression Package......Page 15 1.2 Sample Code......Page 23 II The Core Language......Page 29 2.1 Evaluation and Execution......Page 33 2.2 The ML Computation Model......Page 34 2.2.1 Type Checking......Page 35 2.2.2 Evaluation......Page 37 2.3 Types, Types, Types......Page 38 2.4 Type Errors......Page 40 3.1 Variables......Page 43 3.2.2 Value Bindings......Page 44 3.3 Compound Declarations......Page 46 3.4 Limiting Scope......Page 47 3.5 Typing and Evaluation......Page 48 4.1 Functions as Templates......Page 51 4.2 Functions and Application......Page 52 4.3 Binding and Scope, Revisited......Page 55 5.1.1 Tuples......Page 59 5.1.2 Tuple Patterns......Page 61 5.2 Record Types......Page 64 5.3 Multiple Arguments and Multiple Results......Page 66 6.1 Homogeneous and Heterogeneous Types......Page 69 6.2 Clausal Function Expressions......Page 70 6.3 Booleans and Conditionals, Revisited......Page 71 6.4 Exhaustiveness and Redundancy......Page 72 7 Recursive Functions......Page 75 7.1 Self-Reference and Recursion......Page 76 7.2 Iteration......Page 79 7.3 Inductive Reasoning......Page 80 7.4 Mutual Recursion......Page 83 8.1 Type

Who reads Programming in standard ML?

Author

Harper R.

Published

2005

Language

EN

Category

nonfiction

Subjects

Computer Science, Programming, Stem