Functional programming using Caml Light
Michel Mauny · 1995
ion : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 80 III A complete example 83 12 ASL: A Small Language 85 12.1 ASL abstract syntax trees : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 85 12.2 Parsing ASL programs : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 86 13 Untyped semantics of ASL programs 91 13.1 Semantic values : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 91 13.2 Semantic functions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 92 13.3 Examples : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 93 14 Encoding recursion 95 14.1 Fixpoint combinators : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 95 14.2 Recursion as a primitive construct : : : : : : : : : : : : : : : : : : : : : : : : : : : : CONTENTS 3 15 Static typing, polymorphism and type synthesis 97 15.1 The type syst...