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

			       Abstract

This report defines a type notation for Scheme.  This notation was used in
various programming languages classes from 2001-2004.

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.