This document describes a type system for a subset of Schem

Clifton, Curtis

Leavens, Gary T.

English

This document is distributed under the terms of the GNU General Public License as pub-lished by the Free Software Foundation; either version 2, or (at your option) any later version

Gary T. Leavens

Curtis Clifton

CiteSeerX

A Type Notation for Scheme

This document describes a type system for a subset of Schem.</p

Leavens, Gary

Digital Repository @ Iowa State University (ISU)

https://dr.lib.iastate.edu/bitstreams/e31d30ca-a946-4b0b-9f43-518b68fc7925/download

A Type Notation for Scheme

Abstract

Similar works

Full text

Available Versions

CiteSeerX

Digital Repository @ Iowa State University (ISU)