BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
L.Birkedal B.Biering H.Yang J.C.Reynolds
Talks about:
higher (2) separ (2) order (2) logic (2) hyperdoctrin (1) collector (1) semant (1) reason (1) garbag (1) local (1)

Person: Noah Torp-Smith

DBLP DBLP: Torp-Smith:Noah

Contributed to:

ESOP 20052005
LICS 20052005
POPL 20042004

Wrote 3 papers:

ESOP-2005-BieringBT #higher-order #logic
BI Hyperdoctrines and Higher-Order Separation Logic (BB, LB, NTS), pp. 233–247.
LICS-2005-BirkedalTY #higher-order #semantics #type system
Semantics of Separation-Logic Typing and Higher-Order Frame Rules (LB, NTS, HY), pp. 260–269.
POPL-2004-BirkedalTR #garbage collection #reasoning
Local reasoning about a copying garbage collector (LB, NTS, JCR), pp. 220–231.

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.