archives

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