A Type Notation for Scheme
Date
2005-02-01
Authors
Leavens, Gary
Clifton, Curtis
Major Professor
Advisor
Committee Member
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
This document describes a type system for a subset of Schem.
Series Number
Journal Issue
Is Version Of
Versions
Series
Academic or Administrative Unit
Type
article