Travelled to:1 × Germany
1 × The Netherlands
1 × USA
2 × Spain
Collaborated with:∅ H.C.Benestad
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: Hannay:Jo_Erskine
Contributed to:
2011
2003
2003
2000
1999Wrote 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.