A Type Notation for Scheme

dc.contributor.author	Leavens, Gary
dc.contributor.author	Clifton, Curtis
dc.contributor.author	Dorn, Brian
dc.contributor.department	Computer Science
dc.date	2018-02-14T00:25:15.000
dc.date.accessioned	2020-06-30T01:56:23Z
dc.date.available	2020-06-30T01:56:23Z
dc.date.issued	2005-08-01
dc.description.abstract	<p>This report defines a type notation for Scheme. This notation was used in the undergraduate programming languages class at Iowa State in Spring 2005.</p>
dc.description.comments	<p>Copyright © 2005 by Gary T. Leavens, Curtis Clifton, and Brian Dorn</p> <p>This document is distributed under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version.</p>
dc.identifier	archive/lib.dr.iastate.edu/cs_techreports/282/
dc.identifier.articleid	1291
dc.identifier.contextkey	5493998
dc.identifier.s3bucket	isulib-bepress-aws-west
dc.identifier.submissionpath	cs_techreports/282
dc.identifier.uri	https://dr.lib.iastate.edu/handle/20.500.12876/20108
dc.source.bitstream	archive/lib.dr.iastate.edu/cs_techreports/282/TR.pdf\|\|\|Fri Jan 14 23:10:40 UTC 2022
dc.subject.disciplines	Programming Languages and Compilers
dc.subject.disciplines	Software Engineering
dc.subject.disciplines	Theory and Algorithms
dc.subject.keywords	Scheme
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

Now showing 1 - 1 of 1