A Type Notation for Scheme

Home

About

Browse

Search

Register

Subscriptions

Deposit Papers

Help

Leavens, Gary T., Clifton, Curtis and Dorn, Brian (2005) A Type Notation for Scheme. Technical Report 05-18, Computer Science, Iowa State University.

Full text available as:

HTML
Adobe PDF
Postscript

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.

Keywords:	Scheme, type checking
Subjects:	Software: PROGRAMMING TECHNIQUES (E): Applicative (Functional) Programming Software: SOFTWARE ENGINEERING (K.6.3): Coding Tools and Techniques Software: PROGRAMMING LANGUAGES: Formal Definitions and Theory (D.2.1, F.3.1-2, F.4.2-3) Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Semantics of Programming Languages (D.3.1)
ID code:	00000380
Deposited by:	Gary T. Leavens on 04 August 2005
Alternative Locations:	http://www.cs.iastate.edu/~leavens/ComS342/docs/typedscm.html http://www.cs.iastate.edu/~leavens/ComS342/docs/typedscm.pdf ftp://ftp.cs.iastate.edu/pub/techreports/TR05-18/TR.pdf ftp://ftp.cs.iastate.edu/pub/techreports/TR05-18/TR.ps.gz

Contact site administrator at: ssg@cs.iastate.edu