Making uniqueness typing less unique
Citation:
Edsko Jacob Jelle De Vries, 'Making uniqueness typing less unique', [thesis], Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2009, pp 263Download Item:
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.
Author: De Vries, Edsko Jacob Jelle
Advisor:
Plasmeijer, RinusPublisher:
Trinity College (Dublin, Ireland). School of Computer Science & StatisticsNote:
TARA (Trinity’s Access to Research Archive) has a robust takedown policy. Please contact us if you have any concerns: rssadmin@tcd.ieType of material:
thesisAvailability:
Full text availableMetadata
Show full item recordLicences: