Healfdene Goguen

Healfdene Goguen

Authored Publications
Google Publications
Other Publications
Sort By
  • Title
  • Title, descending
  • Year
  • Year, descending
    Subtyping a la Church
    Adriana Compagnoni
    Radboud University Nijmegen(2007) (to appear)
    Preview
    Eliminating Dependent Pattern Matching
    Conor McBride
    James McKinna
    Essays Dedicated to Joseph A. Goguen, Springer, Heidelberg, Germany(2006), pp. 521-540
    Preview
    Justifying Algorithms for
    FoSSaCS(2005), pp. 410-424
    Experience with Component-Based Development of a Telecommunication Service
    Gregory W. Bond
    Eric Cheung
    Karrie J. Hanson
    Don Henderson
    Gerald M. Karam
    K. Hal Purdy
    Thomas M. Smith
    Pamela Zave
    CBSE(2005), pp. 298-305
    A syntactic approach to eta equality in type theory
    POPL(2005), pp. 75-84
    Typed Operational Semantics
    TLCA(1995), pp. 186-200
    The Metatheory of UTT
    TYPES(1994), pp. 60-82