2008 |
16 | EE | Adriana B. Compagnoni,
Healfdene Goguen:
Theory and applications of subtyping: Introduction.
Mathematical Structures in Computer Science 18(5): 795-796 (2008) |
2006 |
15 | EE | Healfdene Goguen,
Conor McBride,
James McKinna:
Eliminating Dependent Pattern Matching.
Essays Dedicated to Joseph A. Goguen 2006: 521-540 |
14 | EE | Adriana B. Compagnoni,
Healfdene Goguen:
Anti-symmetry of higher-order subtyping and equality by subtyping.
Mathematical Structures in Computer Science 16(1): 41-65 (2006) |
2005 |
13 | EE | 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: 298-305 |
12 | EE | Healfdene Goguen:
Justifying Algorithms for beta-eta-Conversion.
FoSSaCS 2005: 410-424 |
11 | EE | Healfdene Goguen:
A syntactic approach to eta equality in type theory.
POPL 2005: 75-84 |
2004 |
10 | EE | Conor McBride,
Healfdene Goguen,
James McKinna:
A Few Constructions on Constructors.
TYPES 2004: 186-200 |
9 | EE | Pamela Zave,
Healfdene Goguen,
Thomas M. Smith:
Component coordination: a telecommunication case study.
Computer Networks 45(5): 645-664 (2004) |
2003 |
8 | EE | Adriana B. Compagnoni,
Healfdene Goguen:
Typed operational semantics for higher-order subtyping.
Inf. Comput. 184(2): 242-297 (2003) |
2000 |
7 | EE | Healfdene Goguen:
A Kripke-Style Model for the Admissibility of Structural Rules.
TYPES 2000: 112-124 |
6 | | Healfdene Goguen,
Jean Goubault-Larrecq:
Sequent combinators: a Hilbert system for the lambda calculus.
Mathematical Structures in Computer Science 10(1): 1-79 (2000) |
1999 |
5 | | Adriana B. Compagnoni,
Healfdene Goguen:
Anti-Symmetry of Higher-Order Subtyping.
CSL 1999: 420-438 |
4 | EE | Healfdene Goguen:
Soundness of the Logical Framework for Its Typed Operational Semantics.
TLCA 1999: 177-197 |
3 | EE | Healfdene Goguen,
Richard Brooksby,
Rod M. Burstall:
Memory Management: An Abstract Formulation of Incremental Tracing.
TYPES 1999: 148-161 |
1995 |
2 | | Healfdene Goguen:
Typed Operational Semantics.
TLCA 1995: 186-200 |
1994 |
1 | | Healfdene Goguen:
The Metatheory of UTT.
TYPES 1994: 60-82 |