Publication Date

8-2005

Technical Report Number

TR05-18

Subjects

Software, Theory of Computation

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.

Comments

Copyright © 2005 by Gary T. Leavens, Curtis Clifton, and Brian Dorn

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.

Share

COinS