A Domain For Functional Programming Systems

dc.contributor.authorMartin, Johannes J.en
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2013-06-19T14:37:03Zen
dc.date.available2013-06-19T14:37:03Zen
dc.date.issued1981en
dc.description.abstractA domain for functional programming systems is proposed. This domain is the powerset of a set of items where items are either atomic or ordered pairs of items. The structure of the domain is detennined by the relation 'is weaker than' and by three basic operations, under which the domain is closed: Union, the cartesian product, and the operation of application.en
dc.format.mimetypeapplication/pdfen
dc.identifierhttp://eprints.cs.vt.edu/archive/00000861/en
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000861/01/CS81004-R.pdfen
dc.identifier.trnumberCS81004-Ren
dc.identifier.urihttp://hdl.handle.net/10919/20310en
dc.language.isoenen
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen
dc.relation.ispartofHistorical Collection(Till Dec 2001)en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.titleA Domain For Functional Programming Systemsen
dc.typeTechnical reporten
dc.type.dcmitypeTexten
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
CS81004-R.pdf
Size:
823.28 KB
Format:
Adobe Portable Document Format