Healfdene Goguen

According to our database, Healfdene Goguen authored at least 18 papers between 1994 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Relating Church-Style and Curry-Style Subtyping

Adriana B. Compagnoni, Healfdene Goguen

Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010

2008

Theory and applications of subtyping: Introduction.

Adriana B. Compagnoni, Healfdene Goguen

Math. Struct. Comput. Sci., 2008

2006

Anti-symmetry of higher-order subtyping and equality by subtyping.

Adriana B. Compagnoni, Healfdene Goguen

Math. Struct. Comput. Sci., 2006

Eliminating Dependent Pattern Matching.

Healfdene Goguen, Conor McBride, James McKinna

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

A syntactic approach to eta equality in type theory.

Healfdene Goguen

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Justifying Algorithms for <i>beta</i>-<i>eta</i>-Conversion.

Healfdene Goguen

Proceedings of the Foundations of Software Science and Computational Structures, 2005

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

Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004

Component coordination: a telecommunication case study.

Pamela Zave, Healfdene Goguen, Thomas M. Smith

Comput. Networks, 2004

A Few Constructions on Constructors.

Conor McBride, Healfdene Goguen, James McKinna

Proceedings of the Types for Proofs and Programs, International Workshop, 2004

2003

Typed operational semantics for higher-order subtyping.

Adriana B. Compagnoni, Healfdene Goguen

Inf. Comput., 2003

2000

Sequent combinators: a Hilbert system for the lambda calculus.

Healfdene Goguen, Jean Goubault-Larrecq

Math. Struct. Comput. Sci., 2000

A Kripke-Style Model for the Admissibility of Structural Rules.

Healfdene Goguen

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

1999

Memory Management: An Abstract Formulation of Incremental Tracing.

Healfdene Goguen, Richard Brooksby, Rod M. Burstall

Proceedings of the Types for Proofs and Programs, 1999

Soundness of the Logical Framework for Its Typed Operational Semantics.

Healfdene Goguen

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

Anti-Symmetry of Higher-Order Subtyping.

Adriana B. Compagnoni, Healfdene Goguen

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1995

Typed Operational Semantics.

Healfdene Goguen

Proceedings of the Typed Lambda Calculi and Applications, 1995

1994

A typed operational semantics for type theory.

Healfdene Goguen

PhD thesis, 1994

The Metatheory of UTT.

Healfdene Goguen

Proceedings of the Types for Proofs and Programs, 1994