⊢
A Formal Language Specification
The Definition
of Nex

A precise account of both the grammar and the meaning of the language — the prerequisite for its implementation and its use.

Vijay Mathew
Contents →
Contents
1Introduction 7Programs 2Syntax of the Core AThe Full Grammar 3Classes & Modules BStandard Environment 4Static Semantics CDerived Forms 5Dynamic Semantics DReferences 6Concurrency