Browsing Computer Science Theses and Dissertations by Author "Sullivan, Zachary"

Navigation

Now showing items 1-2 of 2

Reflections of Closures

Sullivan, Zachary (University of Oregon, 2024-03-25)

The idea that programs are data forms the bedrock of functional programming languages, but it is also found in object-oriented languages and recent iterations of systems languages. Since passing and returning programs ...
The Essence of Codata and Its Implementations

Sullivan, Zachary (University of Oregon, 2018-09-06)

Data types are a widely-used feature of functional programming languages that allow programmers to create abstractions and control branching computations. Instances of data types are introduced by applying one of a disjoint ...