FUN

FUN is a very simple functional language. The basic entities are:

• numbers: 0, 1, 2, ... ∈N
• variables: x0, x1, x2, ... ∈Var
• binary operations: +, -, *, ... ∈Bop

We will use generic names to represent the classes of entities as follows:

• numbers: n
• variables: x
• binary operations: bop

The phrase classes of FUN are:

Phrase class	Generic name	Phrase forms
Expressions	e∈Exp	x n e1 bop e2 let x = e0 in e1

References

R. Burstall. Language Semantics and Implementation. Course Notes. 1994.