tiger

The Tiger language is a small, imperative language with integer and string variables, arrays, records, and nested functions. Its syntax resembles some functional languages.

references

Modern Compiler Implementation in ML by A. Appel.