Healfdene Goguen

Google Publications

  •   

    Subtyping a la Church

    Adriana Compagnoni, Healfdene Goguen

    Radboud University Nijmegen (2007) (to appear)

  •   

    Eliminating Dependent Pattern Matching

    Healfdene Goguen, Conor McBride, James McKinna

    Essays Dedicated to Joseph A. Goguen, Springer, Heidelberg, Germany (2006), pp. 521-540

Previous Publications

  •   

    A syntactic approach to eta equality in type theory

    Healfdene Goguen

    POPL (2005), pp. 75-84

  •   

    Experience with Component-Based Development of a Telecommunication Service

    Gregory W. Bond, Eric Cheung, Healfdene Goguen, Karrie J. Hanson, Don Henderson, Gerald M. Karam, K. Hal Purdy, Thomas M. Smith, Pamela Zave

    CBSE (2005), pp. 298-305

  •   

    Justifying Algorithms for

    Healfdene Goguen

    FoSSaCS (2005), pp. 410-424

  •  

    Typed Operational Semantics

    Healfdene Goguen

    TLCA (1995), pp. 186-200

  •  

    The Metatheory of UTT

    Healfdene Goguen

    TYPES (1994), pp. 60-82