Healfdene Goguen
- Research Area(s)
- Algorithms and Theory
Google Publications
-
Subtyping a la Church
Adriana Compagnoni, Healfdene Goguen
Radboud University Nijmegen (2007) (to appear)
-
Eliminating Dependent Pattern Matching
Healfdene Goguen, Conor McBride, James McKinna
Essays Dedicated to Joseph A. Goguen, Springer, Heidelberg, Germany (2006), pp. 521-540
Previous Publications
-
A syntactic approach to eta equality in type theory
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
FoSSaCS (2005), pp. 410-424
-
Typed Operational Semantics
TLCA (1995), pp. 186-200
-
The Metatheory of UTT
TYPES (1994), pp. 60-82
