Healfdene Goguen

Publication Activity (10 Years)

Years Active: 1994-2010
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Adriana B. Compagnoni, Healfdene Goguen
Relating Church-Style and Curry-Style Subtyping ITRS (2010)
Adriana B. Compagnoni, Healfdene Goguen
Theory and applications of subtyping: Introduction. Math. Struct. Comput. Sci. 18 (5) (2008)
Healfdene Goguen, Conor McBride, James McKinna
Eliminating Dependent Pattern Matching. Essays Dedicated to Joseph A. Goguen (2006)
Adriana B. Compagnoni, Healfdene Goguen
Anti-symmetry of higher-order subtyping and equality by subtyping. Math. Struct. Comput. Sci. 16 (1) (2006)
Gregory W. Bond, Eric Cheung, Healfdene Goguen, Karrie J. Hanson, Don Henderson, Gerald M. Karam, K. Hal Purdy, Thomas M. Smith, Pamela Zave
Experience with Component-Based Development of a Telecommunication Service. CBSE (2005)
Healfdene Goguen
A syntactic approach to eta equality in type theory. POPL (2005)
Healfdene Goguen
-Conversion. FoSSaCS (2005)
Pamela Zave, Healfdene Goguen, Thomas M. Smith
Component coordination: a telecommunication case study. Comput. Networks 45 (5) (2004)
Conor McBride, Healfdene Goguen, James McKinna
A Few Constructions on Constructors. TYPES (2004)
Adriana B. Compagnoni, Healfdene Goguen
Typed operational semantics for higher-order subtyping. Inf. Comput. 184 (2) (2003)
Healfdene Goguen
A Kripke-Style Model for the Admissibility of Structural Rules. TYPES (2000)
Healfdene Goguen, Jean Goubault-Larrecq
Sequent combinators: a Hilbert system for the lambda calculus. Math. Struct. Comput. Sci. 10 (1) (2000)
Adriana B. Compagnoni, Healfdene Goguen
Anti-Symmetry of Higher-Order Subtyping. CSL (1999)
Healfdene Goguen, Richard Brooksby, Rod M. Burstall
Memory Management: An Abstract Formulation of Incremental Tracing. TYPES (1999)
Healfdene Goguen
Soundness of the Logical Framework for Its Typed Operational Semantics. TLCA (1999)
Healfdene Goguen
Typed Operational Semantics. TLCA (1995)
Healfdene Goguen
The Metatheory of UTT. TYPES (1994)

Healfdene Goguen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Healfdene Goguen