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 × Germany
1 × The Netherlands
1 × USA
2 × Spain
Collaborated with:
Talks about:
system (2) higher (2) relat (2) order (2) base (2) comparison (1) subobject (1) increment (1) quotient (1) parametr (1)

Person: Jo Erskine Hannay

DBLP DBLP: Hannay:Jo_Erskine

Contributed to:

ICSE 20112011
ICALP 20032003
TLCA 20032003
FoSSaCS 20002000
CSL 19991999

Wrote 5 papers:

ICSE-2011-BenestadH #comparison #incremental #modelling #release planning
A comparison of model-based and judgment-based release planning in incremental software projects (HCB, JEH), pp. 766–775.
ICALP-2003-Hannay #axiom #data type #higher-order
Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types (JEH), pp. 903–917.
TLCA-2003-Hannay #abstraction #parametricity #relational
Abstraction Barrier-Observing Relational Parametricity (JEH), pp. 135–152.
FoSSaCS-2000-Hannay #higher-order #simulation #system f
A Higher-Order Simulation Relation for System F (JEH), pp. 130–145.
CSL-1999-Hannay #refinement #specification #system f
Specification Refinement with System F (JEH), pp. 530–545.

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.