A Type Notation for Scheme
|
Home About Browse Search Register Subscriptions Deposit Papers Help |
Leavens, Gary T. and Clifton, Curtis (2005) A Type Notation for Scheme. Technical Report 05-03, Computer Science, Iowa State University.
| Full text available as: | Adobe PDF Postscript |
Abstract
This document describes a type system for a subset of Schem.
| Keywords: | Scheme, datatypes, type checking. |
| Comments: | This documents the language used in 2001-2004. |
| Subjects: | Software: PROGRAMMING LANGUAGES: Formal Definitions and Theory (D.2.1, F.3.1-2, F.4.2-3) Software: PROGRAMMING LANGUAGES: Language Constructs and Features (E.2) Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1) |
| ID code: | 00000354 |
| Deposited by: | Gary T. Leavens on 12 February 2005 |
| Alternative Locations: | http://www.cs.iastate.edu/~leavens/ComS342/docs/typedscm_toc.html http://www.cs.iastate.edu/~leavens/ComS342/docs/typedscm.pdf ftp://ftp.cs.iastate.edu/pub/techreports/TR05-03/TR.pdf ftp://ftp.cs.iastate.edu/pub/techreports/TR05-03/TR.ps.gz |
Contact site administrator at: ssg@cs.iastate.edu