A Type Notation for Scheme
				  by
	   Gary T. Leavens, Curtis Clifton, and Brian Dorn

			       Abstract

This report defines a type notation for Scheme.  This notation was used in
the undergraduate programming languages class at Iowa State in Spring 2005.

Keywords: Scheme, type checking.

This document is distributed under the terms of the GNU General Public
License as published by the Free Software Foundation; either version
2, or (at your option) any later version.