BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Spain
2 × USA
2 × United Kingdom
Collaborated with:
A.B.Compagnoni G.W.Bond E.Cheung K.J.Hanson D.Henderson G.M.Karam K.H.Purdy T.M.Smith P.Zave
Talks about:
type (3) semant (2) oper (2) telecommun (1) framework (1) algorithm (1) symmetri (1) approach (1) syntact (1) justifi (1)

Person: Healfdene Goguen

DBLP DBLP: Goguen:Healfdene

Contributed to:

CBSE 20052005
FoSSaCS 20052005
POPL 20052005
CSL 19991999
TLCA 19991999
TLCA 19951995

Wrote 6 papers:

CBSE-2005-BondCGHHKPSZ #component #development #experience
Experience with Component-Based Development of a Telecommunication Service (GWB, EC, HG, KJH, DH, GMK, KHP, TMS, PZ), pp. 298–305.
FoSSaCS-2005-Goguen #algorithm
Justifying Algorithms for βη-Conversion (HG), pp. 410–424.
POPL-2005-Goguen #approach #similarity #type system
A syntactic approach to eta equality in type theory (HG), pp. 75–84.
CSL-1999-CompagnoniG #higher-order #symmetry #type system
Anti-Symmetry of Higher-Order Subtyping (ABC, HG), pp. 420–438.
TLCA-1999-Goguen #framework #logic #semantics
Soundness of the Logical Framework for Its Typed Operational Semantics (HG), pp. 177–197.
TLCA-1995-Goguen #semantics
Typed Operational Semantics (HG), pp. 186–200.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.