The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Healfdene Goguen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Healfdene Goguen, Conor McBride, James McKinna
    Eliminating Dependent Pattern Matching. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:521-540 [Conf]
  2. Gregory W. Bond, Eric Cheung, Healfdene Goguen, Karrie J. Hanson, Don Henderson, Gerald M. Karam, K. Hal Purdy, Thomas M. Smith, Pamela Zave
    Experience with Component-Based Development of a Telecommunication Service. [Citation Graph (0, 0)][DBLP]
    CBSE, 2005, pp:298-305 [Conf]
  3. Adriana B. Compagnoni, Healfdene Goguen
    Anti-Symmetry of Higher-Order Subtyping. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:420-438 [Conf]
  4. Healfdene Goguen
    Justifying Algorithms for beta-eta-Conversion. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:410-424 [Conf]
  5. Healfdene Goguen
    A syntactic approach to eta equality in type theory. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:75-84 [Conf]
  6. Healfdene Goguen
    Typed Operational Semantics. [Citation Graph (0, 0)][DBLP]
    TLCA, 1995, pp:186-200 [Conf]
  7. Healfdene Goguen
    Soundness of the Logical Framework for Its Typed Operational Semantics. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:177-197 [Conf]
  8. Healfdene Goguen
    A Kripke-Style Model for the Admissibility of Structural Rules. [Citation Graph (0, 0)][DBLP]
    TYPES, 2000, pp:112-124 [Conf]
  9. Healfdene Goguen
    The Metatheory of UTT. [Citation Graph (0, 0)][DBLP]
    TYPES, 1994, pp:60-82 [Conf]
  10. Healfdene Goguen, Richard Brooksby, Rod M. Burstall
    Memory Management: An Abstract Formulation of Incremental Tracing. [Citation Graph (0, 0)][DBLP]
    TYPES, 1999, pp:148-161 [Conf]
  11. Conor McBride, Healfdene Goguen, James McKinna
    A Few Constructions on Constructors. [Citation Graph (0, 0)][DBLP]
    TYPES, 2004, pp:186-200 [Conf]
  12. Pamela Zave, Healfdene Goguen, Thomas M. Smith
    Component coordination: a telecommunication case study. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2004, v:45, n:5, pp:645-664 [Journal]
  13. Adriana B. Compagnoni, Healfdene Goguen
    Typed operational semantics for higher-order subtyping. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:184, n:2, pp:242-297 [Journal]
  14. Healfdene Goguen, Jean Goubault-Larrecq
    Sequent combinators: a Hilbert system for the lambda calculus. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:1, pp:1-79 [Journal]

Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002