A Type Notation for Scheme

dc.contributor.author Leavens, Gary
dc.contributor.author Clifton, Curtis
dc.contributor.department Computer Science
dc.date 2018-02-14T00:25:08.000
dc.date.accessioned 2020-06-30T01:56:23Z
dc.date.available 2020-06-30T01:56:23Z
dc.date.issued 2005-02-01
dc.description.abstract <p>This document describes a type system for a subset of Schem.</p>
dc.identifier archive/lib.dr.iastate.edu/cs_techreports/283/
dc.identifier.articleid 1290
dc.identifier.contextkey 5493945
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/283
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/20109
dc.source.bitstream archive/lib.dr.iastate.edu/cs_techreports/283/typedscm.pdf|||Fri Jan 14 23:10:53 UTC 2022
dc.subject.disciplines Programming Languages and Compilers
dc.subject.disciplines Theory and Algorithms
dc.subject.keywords Scheme
dc.subject.keywords datatypes
dc.subject.keywords type checking
dc.title A Type Notation for Scheme
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
File
Original bundle
Now showing 1 - 1 of 1
Name:
typedscm.pdf
Size:
127.75 KB
Format:
Adobe Portable Document Format
Description:
Collections