Compilers (CS362 2002F)

Class 20: Introduction to Type Checking

Back to Semantic Actions. On to Type Equivalence.

Held Monday, October 14, 2002


Today we begin our consideration of a key semantic step: type checking. That is, we consider where and how one might verify types in a program.



An Introduction to Type Checking

When Should You Type Check?

Common Types

Computing Types



Thursday, 29 August 2002


Back to Semantic Actions. On to Type Equivalence.

Disclaimer: I usually create these pages on the fly, which means that I rarely proofread them and they may contain bad grammar and incorrect details. It also means that I tend to update them regularly (see the history for more details). Feel free to contact me with any suggestions for changes.

This document was generated by Siteweaver on Fri Dec 6 10:38:18 2002.
The source to the document was last modified on Wed Sep 4 10:08:35 2002.
This document may be found at

You may wish to validate this document's HTML ; Valid CSS! ; Check with Bobby

Glimmer Labs: The Grinnell Laboratory for Interactive Multimedia Experimentation & Research