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 × Cyprus
1 × France
1 × Germany
1 × USA
Collaborated with:
J.Sevcík M.Hofmann A.B.Compagnoni
Talks about:
type (3) subtyp (2) transform (1) program (1) system (1) memori (1) depend (1) valid (1) updat (1) power (1)

♂ Person: David Aspinall

DBLP DBLP: Aspinall:David

Facilitated 2 volumes:

ASE 2012DemoTrackPrCo
ASE 2012ToCo

Contributed to:

ECOOP 20082008
ESOP 20022002
CSL 20002000
LICS 19961996

Wrote 4 papers:

ECOOP-2008-SevcikA #java #memory management #on the #program transformation
On Validity of Program Transformations in the Java Memory Model (JS, DA), pp. 27–51.
ESOP-2002-AspinallH #type system
Another Type System for In-Place Update (DA, MH), pp. 36–52.
CSL-2000-Aspinall #type system
Subtyping with Power Types (DA), pp. 156–171.
LICS-1996-AspinallC #dependent type #type system
Subtyping Dependent Types (DA, ABC), pp. 86–97.

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.