Next: Derived expression types, Previous: Formal syntax, Up: Formal syntax and semantics [Index]
[The formal semantics chapter uses complex LaTeX that is very difficult to translate to Texinfo. At some point, an attempt may be made to do this. Meanwhile, see the PDF.]