Browsing Computer Science Theses and Dissertations by Author "Ariola, Zena"

Navigation

Display Options

Results

  • Compiling a New Kind of Faster Curry 
    Hairapetian, Shant (University of Oregon, 2022-02-18)
    Traditionally, programming languages based on lambda calculus such asHaskell and ML do not support functions with a number of arguments (or arity) greater than one. In these languages, currying emulates the passing of ...
  • Properties of Sequent-Calculus-Based Languages 
    Johnson-Freyd, Philip (University of Oregon, 2018-04-10)
    Programmers don't just have to write programs, they are have to reason about them. Programming languages aren't just tools for instructing computers what to do, they are tools for reasoning. And, it isn't just programmers ...
  • 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 ...
  • Sequent Calculus: A Logic and a Language for Computation and Duality 
    Downen, Paul (University of Oregon, 2017-09-06)
    Truth and falsehood, questions and answers, construction and deconstruction; most things come in dual pairs. Duality is a mirror that reveals the new from the old via opposition. This idea appears pervasively in logic, ...
  • The Design of Intermediate Languages in Optimizing Compilers 
    Maurer, Luke (University of Oregon, 2018-10-31)
    Every compiler passes code through several stages, each a sort of mini- compiler of its own. Thus each stage may deal with the code in a different representation, which may have little to do with the source or target ...
  • 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 ...

Search Scholars' Bank


Advanced Search

Browse

My Account

Statistics