Next:
The Complete Kernel
Up:
main
Previous:
Abstracting concrete syntax away
Contents
A four-panelled architecture
Subsections
The Complete Kernel
Sanitizing
Type checking
vs.
inference
Compiling
The Complete Type System
The type prover
The type constructs
Defining new types
The Basic Instruction Set
The Complete Backend
The Runtime system
The Runtime objects
The display manager
The error manager
Hassan Ait Kaci 2002-05-26
