Quirk21
Informal semantics: somewhat similar to the corresponding subset of Scheme, but there are some important differences, e.g. syntax and static types. See the typing rules below.
Context-free grammar
ParseGen grammar
ParseGen
documentation
Specification of
abstract syntax trees
Specification of scope and
typing rules
.
Specification of the
dleaf
,
free
, and
tail
attributes
.
Specification of a
simple code generator
for a subset of quirk21.
The
quirk21a
subset of quirk21.
The
quirk21b
subset of quirk21.
History of changes
to this documentation.
Last updated 9 December 2004.