1 Chapter 2Table 2.1. Language of expressions Exp₁Table 2.2. Evaluation of the expressions of Exp₁Table 2.3. Language Def 1 of definitions

      2 Chapter 3Table 3.1. Syntax of the language of expressions Exp₂Table 3.2. Interpretation of operatorsTable 3.3. Evaluation of expressions in Exp₂

      3 Chapter 4Table 4.1. Language of defintions Def3Table 4.2. Language of expressions Exp₃Table 4.3. Language of commands Lang₃Table 4.4. Evaluation of expressions in Exp₃Table 4.5. Extension of relation →Def₃ : procedures

      4 Chapter 5Table 5.1. Type algebra for Exp₂Table 5.2. Type algebra of Lang₃

      5 Chapter 6Table 6.1. Integer size by languageTable 6.2. Data range by typeTable 6.3. Extension of the syntax of Exp₂ for pattern matching

      6 Chapter 8Table 8.1. Extension of the syntax of Exp₂ to include exceptions

      1  Cover

      2  Table of Contents

      3  Title Page

      4  Copyright

      5  Foreword

      6  Preface

      7  Begin Reading

      8  Conclusion

      9  Appendix: Solutions to the Exercises

      10  List of Notations

      11  Index of Programs

      12  References

      13  Index

      14  End User License Agreement

      1  v

      2  iii

      3  iv

      4  xi

      5  xii

      6  xiii

      7  xiv

      8  1

      9 2

      10 3

      11 4

      12 5

      13 6

      14  7

      15  8

      16  9

      17  10

      18  11

      19  12

      20  13

      21  14

      22  15

      23  16

      24  17

      25  18

      26  19

      27  20

      28  21

      29  22

      30  23

      31  24

      32  25

      33  26

      34  27