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
1441994
Eliminating dependent pattern matching
H Goguen, C McBride, J McKinna
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006
1002006
Enhanced call notification service
KJ Hanson, GM Karam, GW Bond, HH Goguen, D Henderson, P Zave
US Patent 7,881,449, 2011
592011
Enhanced call feature service
KJ Hanson, GM Karam, E Cheung, HH Goguen, KH Purdy
US Patent 7,164,762, 2007
532007
Typed operational semantics for higher-order subtyping
A Compagnoni, H Goguen
Information and Computation 184 (2), 242-297, 2003
532003
Typed operational semantics
H Goguen
International Conference on Typed Lambda Calculi and Applications, 186-200, 1995
501995
A few constructions on constructors
C McBride, H Goguen, J McKinna
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en …, 2006
392006
Soundness of the logical framework for its typed operational semantic
H Goguen
Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 …, 1999
34*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
Component coordination: A telecommunication case study
P Zave, HH Goguen, TM Smith
Computer Networks 45 (5), 645-664, 2004
242004
The metatheory of UTT
H Goguen
International Workshop on Types for Proofs and Programs, 60-82, 1994
241994
Inductive data types: Well-ordering types revisited
H Goguen, Z Luo
Logical Environments, 198-218, 1993
241993
Candidates for substitution
H Goguen, J McKinna
LFCS report series-Laboratory for Foundations of Computer Science ECS LFCS, 1997
201997
A syntactic approach to eta equality in type theory
H Goguen
ACM SIGPLAN Notices 40 (1), 75-84, 2005
172005
User guide to the CtCoq proof environment
J Bertot, Y Bertot, Y Coscoy, H Goguen, F Montagnac
INRIA, 1997
171997
Justifying Algorithms for βη-Conversion
H Goguen
International Conference on Foundations of Software Science and Computation …, 2005
152005
ECharts: Balancing design and implementation
GW Bond, H Goguen
Proceedings of the 6 th IASTED international conference on software …, 2002
152002
Sequent combinators: A Hilbert system for the lambda calculus
H Goguen, J Goubault-Larrecq
Mathematical Structures in Computer Science 10 (1), 1-79, 2000
132000
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