2,038 research outputs found

    Audio of Morris Garrett trip account

    No full text
    This oral history is one of a series of over 100 interviews conducted by Dr. Morris Garrett between 1972-1988 primarily in Owsley and Clay Counties, Kentucky. Some interviews have accompanying photos or transcripts. Only those interviews which have been digitized are available in the digital repository. To learn more about the Garrett Collection go to https://inside.nku.edu/steelyarchives/specialcollections/alphabeticallist/garrett.html#contain.https://inside.nku.edu/steelyarchives/specialcollections/alphabeticallist/garrett.html#contai

    Interview with Norma Rose by Morris Garrett

    No full text
    This oral history is one of a series of over 100 interviews conducted by Dr. Morris Garrett between 1972-1988 primarily in Owsley and Clay Counties, Kentucky. Some interviews have accompanying photos or transcripts. Only those interviews which have been digitized are available in the digital repository. To learn more about the Garrett Collection go to https://inside.nku.edu/steelyarchives/specialcollections/alphabeticallist/garrett.html#contain.https://inside.nku.edu/steelyarchives/specialcollections/alphabeticallist/garrett.html#contai

    Interview with Eversole Family by Morris Garrett

    No full text
    This oral history is one of a series of over 100 interviews conducted by Dr. Morris Garrett between 1972-1988 primarily in Owsley and Clay Counties, Kentucky. Some interviews have accompanying photos or transcripts. Only those interviews which have been digitized are available in the digital repository. To learn more about the Garrett Collection go to https://inside.nku.edu/steelyarchives/specialcollections/alphabeticallist/garrett.html#contain.https://inside.nku.edu/steelyarchives/specialcollections/alphabeticallist/garrett.html#contai

    Interview with unidentified person 001 by Morris Garrett

    No full text
    This oral history is one of a series of over 100 interviews conducted by Dr. Morris Garrett between 1972-1988 primarily in Owsley and Clay Counties, Kentucky. Some interviews have accompanying photos or transcripts. Only those interviews which have been digitized are available in the digital repository. To learn more about the Garrett Collection go to https://inside.nku.edu/steelyarchives/specialcollections/alphabeticallist/garrett.html#contain.https://inside.nku.edu/steelyarchives/specialcollections/alphabeticallist/garrett.html#contai

    Interview with Tom and Mae Moyer by Morris Garrett

    No full text
    This oral history is one of a series of over 100 interviews conducted by Dr. Morris Garrett between 1972-1988 primarily in Owsley and Clay Counties, Kentucky. Some interviews have accompanying photos or transcripts. Only those interviews which have been digitized are available in the digital repository. To learn more about the Garrett Collection go to https://inside.nku.edu/steelyarchives/specialcollections/alphabeticallist/garrett.html#contain.https://inside.nku.edu/steelyarchives/specialcollections/alphabeticallist/garrett.html#contai

    Garrett Morris, Visitors/Speakers

    No full text
    up-close picture of Garrett Morris, a visitor/speaker at MSUhttps://scholarsjunction.msstate.edu/ua-photo-collection/2707/thumbnail.jp

    The root cause of blame: contracts for intersection and union types

    No full text
    Gradual typing has emerged as the tonic for programmers with a thirst for a blend of static and dynamic typing. Contracts provide a lightweight form of gradual typing as they can be implemented as a library, rather than requiring a gradual type system.Intersection and union types are well suited to static and dynamic languages: intersection encodes overloaded functions; union encodes uncertain data arising from branching code. We extend the untyped lambda calculus with contracts for monitoring higher-order intersection and union types, for the first time giving a uniform treatment to both. Each operator requires a single reduction rule that does not depend on the constituent types or the context of the operator.We present a new method for defining contract satisfaction based on blame behaviour. A value positively satisfies a type if applying a contract of that type can never elicit positive blame. A continuation negatively satisfies a type if applying a contract of that type can never elicit negative blame. We supplement our definition of satisfaction with a series of monitoring properties that satisfying values and continuations should have

    Notes from an author: Garrett Carr

    No full text
    Garrett Carr on Ireland's Borderland. A tour of the border, looking at sites that would be of interest to a broad range of travellers and hikers
    corecore