dc.contributor.advisor | Alexander, Warren P | |
dc.contributor.author | Frisby, Nicolas Sean | |
dc.date.accessioned | 2013-01-20T16:35:04Z | |
dc.date.available | 2013-01-20T16:35:04Z | |
dc.date.issued | 2012-08-31 | |
dc.date.submitted | 2012 | |
dc.identifier.other | http://dissertations.umi.com/ku:12430 | |
dc.identifier.uri | http://hdl.handle.net/1808/10661 | |
dc.description.abstract | Programs involving precise types enforce more properties via type checking, but precise types also prevent the reuse of functions throughout a program since no single precise type is used throughout a large program. My work is a step toward eliminating the underlying dilemma regarding type precision versus function reuse. It culminates in a novel traversal operator that recovers the reuse by automating most of each conversion between "similar" precise types, for a notion of similarity that I characterize in both the intuitive and technical senses. The benefits of my techniques are clear in side-by-side comparisons; in particular, I apply my techniques to two definitions of lambda-lifting. I present and implement my techniques in the Haskell programming language, but the fundamental ideas are applicable to any statically- and strongly-typed programming functional language with algebraic data types. | |
dc.format.extent | 159 pages | |
dc.language.iso | en | |
dc.publisher | University of Kansas | |
dc.rights | This item is protected by copyright and unless otherwise specified the copyright of this thesis/dissertation is held by the author. | |
dc.subject | Computer science | |
dc.subject | Generic programming | |
dc.subject | Software engineering | |
dc.subject | Strong typing | |
dc.title | Reducing the Cost of Precise Types | |
dc.type | Dissertation | |
dc.contributor.cmtemember | Gill, Andrew | |
dc.contributor.cmtemember | Kulkarni, Prasad | |
dc.contributor.cmtemember | Luo, Bo | |
dc.contributor.cmtemember | Wilson, Sara | |
dc.thesis.degreeDiscipline | Electrical Engineering & Computer Science | |
dc.thesis.degreeLevel | Ph.D. | |
kusw.oastatus | na | |
kusw.oapolicy | This item does not meet KU Open Access policy criteria. | |
kusw.bibid | 8085811 | |
dc.rights.accessrights | openAccess | |