dc.contributor.advisor | Plasmeijer, Rinus | |
dc.contributor.author | De Vries, Edsko Jacob Jelle | |
dc.date.accessioned | 2019-11-05T15:33:33Z | |
dc.date.available | 2019-11-05T15:33:33Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | Edsko Jacob Jelle De Vries, 'Making uniqueness typing less unique', [thesis], Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2009, pp 263 | |
dc.identifier.other | THESIS 8824 | |
dc.description.abstract | Computer science distinguishes between two major programming paradigms: imperative and
functional programming. Central to imperative programming is the notion of some form of
state (or memory) together with a list of instructions that inspect and modify that state. The
canonical example of this paradigm is the Turing machine. Functional programming on the
other hand is centred around a mathematical language with a notion of evaluation of expressions in this language. The notion of state- the core concept in imperative programming- is completely absent. The canonical example of the functional paradigm is the lambda calculus. | |
dc.format | 1 volume | |
dc.language.iso | en | |
dc.publisher | Trinity College (Dublin, Ireland). School of Computer Science & Statistics | |
dc.relation.isversionof | http://stella.catalogue.tcd.ie/iii/encore/record/C__Rb14068849 | |
dc.subject | Computer Science, Ph.D. | |
dc.subject | Ph.D. Trinity College Dublin. | |
dc.title | Making uniqueness typing less unique | |
dc.type | thesis | |
dc.type.supercollection | thesis_dissertations | |
dc.type.supercollection | refereed_publications | |
dc.type.qualificationlevel | Doctoral | |
dc.type.qualificationname | Doctor of Philosophy (Ph.D.) | |
dc.rights.ecaccessrights | openAccess | |
dc.format.extentpagination | pp 263 | |
dc.description.note | TARA (Trinity’s Access to Research Archive) has a robust takedown policy. Please contact us if you have any concerns: rssadmin@tcd.ie | |
dc.identifier.uri | http://hdl.handle.net/2262/90081 | |