archives

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