Browsing by Author "Fisher, Ian"

Now showing 1 - 3 of 3
  • Thumbnail Image
    Item
    DP-internal only in English and Russian
    (2019) Fisher, Ian; Huang, Shizhe
    This paper presents an analysis of DP-internal only in English and Russian. I review the evidence in Coppock and Beaver (2012b, 2015) for definites containing only that do not presuppose uniqueness, and supplement it with data from Russian. Building on this empirical foundation, I propose that DP-internal only presupposes existence and asserts uniqueness, and the determiner the in the only constructions is semantically vacuous. As a consequence, DPs containing only, like indefinites, are never of type e. I also present evidence that the DP-internal and adverbial usages of only correspond to a single lexical item.
  • Thumbnail Image
    Item
    DP-internal only in English and Russian
    (2019) Fisher, Ian; Huang, Shizhe
    This paper presents an analysis of DP-internal only in English and Russian. I review the evidence in Coppock and Beaver (2012b, 2015) for definites containing only that do not presuppose uniqueness, and supplement it with data from Russian. Building on this empirical foundation, I propose that DP-internal only presupposes existence and asserts uniqueness, and the determiner the in the only constructions is semantically vacuous. As a consequence, DPs containing only, like indefinites, are never of type e. I also present evidence that the DP-internal and adverbial usages of only correspond to a single lexical item.
  • Thumbnail Image
    Item
    The Ergonomics of Faceted Execution
    (2019) Fisher, Ian; Micinski, Kristopher
    This thesis reviews several challenges in the use and implementation of faceted execution, a programming-language mechanism for enforcing privacy policies. I present a proof-of-concept of a module-rewriting technique for correctly handling mutable state in Racets, an existing implementation of faceted execution in Racket, and I discuss how static typing and abstract interpretation could improve the safety and efficiency of faceted code.