Noah Torp-Smith

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

BI Hyperdoctrines and Higher-Order Separation Logic

Bodil Biering and others (2005) · Lecture notes in computer science · Springer Science+Business Media

Local reasoning about a copying garbage collector

Lars Birkedal and others (2004) · ACM SIGPLAN Notices · Association for Computing Machinery

Refinement and Separation Contexts

Ivana Mijajlović and others (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science · Springer Berlin Heidelberg