Healfdene Goguen
Research Areas
Authored Publications
Google Publications
Other Publications
Sort By
Eliminating Dependent Pattern Matching
Preview
Conor McBride
James McKinna
Essays Dedicated to Joseph A. Goguen, Springer, Heidelberg, Germany (2006), pp. 521-540
Justifying Algorithms for
FoSSaCS (2005), pp. 410-424
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
Karrie J. Hanson
Don Henderson
Gerald M. Karam
K. Hal Purdy
Thomas M. Smith
Pamela Zave
CBSE (2005), pp. 298-305
Typed Operational Semantics
TLCA (1995), pp. 186-200
The Metatheory of UTT
TYPES (1994), pp. 60-82