A Type Notation for Scheme

Date
2005-08-01
Authors
Leavens, Gary
Clifton, Curtis
Dorn, Brian
Journal Title
Journal ISSN
Volume Title
Publisher
Altmetrics
Authors
Research Projects
Organizational Units
Computer Science
Organizational Unit
Journal Issue
Series
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.

Description

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.

Keywords
Scheme, type checking
Citation
DOI
Source
Collections