Download

File

typedscm.pdf (127.75 KB)

Date

2005-02-01

Authors

Leavens, Gary
Clifton, Curtis

Major Professor

Advisor

Committee Member

Journal Title

Journal ISSN

Volume Title

Publisher

Altmetrics

Authors

Research Projects

Organizational Units

Computer Science

Organizational Unit

Journal Issue

Series

Department

Computer Science

Abstract

This document describes a type system for a subset of Schem.

Comments

Description

Keywords

Citation

DOI

Source

URI

https://dr.lib.iastate.edu/handle/20.500.12876/20109

Collections

Publications