Next:
Syntax
Up:
Towards Partial Evaluation of
Previous:
Further Results
Formal Development
Syntax
Type Language
Two-Level Syntax
Typing rules
Matt Hurlbut
1998-07-15
