| A typed operational semantics for type theory H Goguen University of Edinburgh. College of Science and Engineering. School of …, 1994 | 141 | 1994 |
| Eliminating dependent pattern matching H Goguen, C McBride, J McKinna Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006 | 99 | 2006 |
| Enhanced call notification service KJ Hanson, GM Karam, GW Bond, HH Goguen, D Henderson, P Zave US Patent 7,881,449, 2011 | 59 | 2011 |
| Typed operational semantics for higher-order subtyping A Compagnoni, H Goguen Information and Computation 184 (2), 242-297, 2003 | 55 | 2003 |
| Enhanced call feature service KJ Hanson, GM Karam, E Cheung, HH Goguen, KH Purdy US Patent 7,164,762, 2007 | 53 | 2007 |
| Typed operational semantics H Goguen International Conference on Typed Lambda Calculi and Applications, 186-200, 1995 | 50 | 1995 |
| A few constructions on constructors C McBride, H Goguen, J McKinna Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en …, 2006 | 39 | 2006 |
| 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 | 28 | 2005 |
| Component coordination: A telecommunication case study P Zave, HH Goguen, TM Smith Computer Networks 45 (5), 645-664, 2004 | 24 | 2004 |
| The metatheory of UTT H Goguen International Workshop on Types for Proofs and Programs, 60-82, 1994 | 24 | 1994 |
| Inductive data types: Well-ordering types revisited H Goguen, Z Luo Logical Environments, 198-218, 1993 | 24 | 1993 |
| Candidates for substitution H Goguen, J McKinna LFCS report series-Laboratory for Foundations of Computer Science ECS LFCS, 1997 | 20 | 1997 |
| A syntactic approach to eta equality in type theory H Goguen ACM SIGPLAN Notices 40 (1), 75-84, 2005 | 17 | 2005 |
| User guide to the CtCoq proof environment J Bertot, Y Bertot, Y Coscoy, H Goguen, F Montagnac INRIA, 1997 | 16 | 1997 |
| Justifying Algorithms for βη-Conversion H Goguen International Conference on Foundations of Software Science and Computation …, 2005 | 15 | 2005 |
| ECharts: Balancing design and implementation GW Bond, H Goguen Proceedings of the 6 th IASTED international conference on software …, 2002 | 15 | 2002 |
| Sequent combinators: A Hilbert system for the lambda calculus H Goguen, J Goubault-Larrecq Mathematical Structures in Computer Science 10 (1), 1-79, 2000 | 13 | 2000 |
| Anti-symmetry of higher-order subtyping A Compagnoni, H Goguen International Workshop on Computer Science Logic, 420-438, 1999 | 9 | 1999 |
| Method and apparatus for providing personal mobility features in a telecommunications environment H Goguen, TM Smith, P Zave US Patent 7,907,712, 2011 | 8 | 2011 |
Pamela ZaveAT&T Labs--ResearchVerified email at research.att.com
