Next:
Sanitizing
Up:
A four-panelled architecture
Previous:
A four-panelled architecture
Contents
The Complete Kernel
Subsections
Sanitizing
Type checking
vs.
inference
Compiling
Hassan Ait Kaci 2002-05-26
