Browsing Computer Science (PhD Theses) by Author "De Vries, Edsko Jacob Jelle"
Now showing items 1-1 of 1
-
Making uniqueness typing less unique
De Vries, Edsko Jacob Jelle (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2009)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 ...