dc.contributor.author | Snyder, Mark H. | |
dc.date.accessioned | 2021-10-08T19:28:05Z | |
dc.date.available | 2021-10-08T19:28:05Z | |
dc.date.issued | 2007-12-31 | |
dc.identifier.uri | http://hdl.handle.net/1808/32107 | |
dc.description | Thesis (M.S.)--University of Kansas, Electrical Engineering & Computer Science, 2007. | en_US |
dc.description.abstract | The objective of this thesis is to demonstrate the feasibility of performing static analysis, specifically type checking, in a particularly modular way. We use a term space of fixpoints of sums of functors so that, by writing individual type checkers for each portion of the entire language, we can then combine those algebras into an algebra that functions over the entire target language. The overall computational style employed uses a sequenced paramorphism to reduce the terms to the value space of types. As a proof of concept, this thesis presents a nominal typechecker in Haskell for the language Rosetta. It relies heavily on InterpreterLib, a Haskell library for designing interpreters in exactly the style described. | en_US |
dc.publisher | University of Kansas | en_US |
dc.rights | This item is protected by copyright and unless otherwise specified the copyright of this thesis/dissertation is held by the author. | en_US |
dc.subject | Applied sciences | en_US |
dc.subject | Interpreterlib | en_US |
dc.subject | Modular monadic semantics | en_US |
dc.subject | Rosetta | en_US |
dc.subject | Type checking | en_US |
dc.title | A modular, algebra-sequenced paramorphic constraint-based type checker for Rosetta | en_US |
dc.type | Thesis | en_US |
dc.thesis.degreeDiscipline | Electrical Engineering & Computer Science | |
dc.thesis.degreeLevel | M.S. | |
kusw.bibid | 6599287 | |
dc.rights.accessrights | openAccess | en_US |