Healfdene Goguen

Google Research

• Home
• Publications
• Tech Talks
• University Research Programs
• About Google Research
• Work at Google

Other Google Resources

• Google Code
• Google Labs
• Google Scholar

Publications

• Subtyping a la Church, Adriana Compagnoni, Healfdene Goguen, Henk Barendregt Festschrift (2007) (to appear).

• Eliminating Dependent Pattern Matching, Healfdene Goguen, Conor McBride, James McKinna, Essays Dedicated to Joseph A. Goguen, 2006, pp. 521-540.

Prior Publications

• A syntactic approach to eta equality in type theory, Healfdene Goguen, POPL, 2005, pp. 75-84.

• 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, CBSE, 2005, pp. 298-305.

• Justifying Algorithms for, Healfdene Goguen, FoSSaCS, 2005, pp. 410-424.

• Typed Operational Semantics, Healfdene Goguen, TLCA, 1995, pp. 186-200.

• The Metatheory of UTT, Healfdene Goguen, TYPES, 1994, pp. 60-82.