 | 2008 |
|---|
| 16 |       | Adriana B. Compagnoni,
Healfdene Goguen:
Theory and applications of subtyping: Introduction.
Mathematical Structures in Computer Science 18(5): 795-796 (2008) |
| 2006 |
|---|
| 15 | | Healfdene Goguen,
Conor McBride,
James McKinna:
Eliminating Dependent Pattern Matching.
Essays Dedicated to Joseph A. Goguen 2006: 521-540 |
| 14 | | 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 | | 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 | | Healfdene Goguen:
Justifying Algorithms for beta-eta-Conversion.
FoSSaCS 2005: 410-424 |
| 11 | | Healfdene Goguen:
A syntactic approach to eta equality in type theory.
POPL 2005: 75-84 |
| 2004 |
|---|
| 10 | | Conor McBride,
Healfdene Goguen,
James McKinna:
A Few Constructions on Constructors.
TYPES 2004: 186-200 |
| 9 | | Pamela Zave,
Healfdene Goguen,
Thomas M. Smith:
Component coordination: a telecommunication case study.
Computer Networks 45(5): 645-664 (2004) |
| 2003 |
|---|
| 8 | | Adriana B. Compagnoni,
Healfdene Goguen:
Typed operational semantics for higher-order subtyping.
Inf. Comput. 184(2): 242-297 (2003) |
| 2000 |
|---|
| 7 | | 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 | | Healfdene Goguen:
Soundness of the Logical Framework for Its Typed Operational Semantics.
TLCA 1999: 177-197 |
| 3 | | 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 |
