Jump to Content
Healfdene Goguen

Healfdene Goguen

Authored Publications
Google Publications
Other Publications
Sort By
  • Title
  • Title, desc
  • Year
  • Year, desc
    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
    A syntactic approach to eta equality in type theory
    POPL (2005), pp. 75-84
    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
    Typed Operational Semantics
    TLCA (1995), pp. 186-200
    The Metatheory of UTT
    TYPES (1994), pp. 60-82