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: Torp-Smith:Noah
Contributed to:
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.