Healfdene Goguen

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