Follow
Healfdene Goguen
Healfdene Goguen
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
A typed operational semantics for type theory
H Goguen
University of Edinburgh. College of Science and Engineering. School of …, 1994
1421994
Eliminating dependent pattern matching
H Goguen, C McBride, J McKinna
Algebra, Meaning, and Computation, 521-540, 2006
912006
Enhanced call notification service
KJ Hanson, GM Karam, GW Bond, HH Goguen, D Henderson, P Zave
US Patent 7,881,449, 2011
572011
Typed operational semantics for higher-order subtyping
A Compagnoni, H Goguen
Information and Computation 184 (2), 242-297, 2003
54*2003
Enhanced call feature service
KJ Hanson, GM Karam, E Cheung, HH Goguen, KH Purdy
US Patent 7,164,762, 2007
532007
Typed operational semantics
H Goguen
International Conference on Typed Lambda Calculi and Applications, 186-200, 1995
471995
A few constructions on constructors
C McBride, H Goguen, J McKinna
International Workshop on Types for Proofs and Programs, 186-200, 2004
372004
Soundness of the logical framework for its typed operational semantic
H Goguen
International Conference on Typed Lambda Calculi and Applications, 177-197, 1999
36*1999
Experience with component-based development of a telecommunication service
GW Bond, E Cheung, HH Goguen, KJ Hanson, D Henderson, GM Karam, ...
International Symposium on Component-Based Software Engineering, 298-305, 2005
282005
The metatheory of UTT
H Goguen
International Workshop on Types for Proofs and Programs, 60-82, 1994
251994
Component coordination: A telecommunication case study
P Zave, HH Goguen, TM Smith
Computer Networks 45 (5), 645-664, 2004
242004
Inductive data types: Well-ordering types revisited
H Goguen, Z Luo
LFCS, Department of Computer Science, University of Edinburgh, 1992
211992
A syntactic approach to eta equality in type theory
H Goguen
ACM SIGPLAN Notices 40 (1), 75-84, 2005
182005
Candidates for substitution
H Goguen, J McKinna
LFCS report series-Laboratory for Foundations of Computer Science ECS LFCS, 1997
181997
Justifying algorithms for βη-conversion
H Goguen
International Conference on Foundations of Software Science and Computation …, 2005
152005
User guide to the CtCoq proof environment
J Bertot, Y Bertot, Y Coscoy, H Goguen, F Montagnac
INRIA, 1997
151997
ECharts: Balancing design and implementation
GW Bond, H Goguen
Proceedings of the 6 th IASTED International Conference on Software …, 2002
142002
Sequent combinators: A Hilbert system for the lambda calculus
H Goguen, J Goubault-Larrecq
Mathematical Structures in Computer Science 10 (1), 1-79, 2000
122000
Anti-symmetry of higher-order subtyping
A Compagnoni, H Goguen
International Workshop on Computer Science Logic, 420-438, 1999
91999
Method and apparatus for providing personal mobility features in a telecommunications environment
H Goguen, TM Smith, P Zave
US Patent 7,907,712, 2011
82011
The system can't perform the operation now. Try again later.
Articles 1–20