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 × Canada
1 × Ireland
1 × USA
Collaborated with:
M.Fluet J.Avigad J.J.Hallett A.J.Kfoury
Talks about:
formal (2) transact (1) isabell (1) semant (1) refer (1) notat (1) event (1) weak (1) hol (1)

Person: Kevin Donnelly

DBLP DBLP: Donnelly:Kevin

Contributed to:

ICFP 20062006
ISMM 20062006
IJCAR 20042004

Wrote 3 papers:

ICFP-2006-DonnellyF #transaction
Transactional events (KD, MF), pp. 124–135.
ISMM-2006-DonnellyHK #semantics
Formal semantics of weak references (KD, JJH, AJK), pp. 126–137.
IJCAR-2004-AvigadD #formal method #higher-order
Formalizing O Notation in Isabelle/HOL (JA, KD), pp. 357–371.

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.