1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2011★ 1 cited
A resource analysis of the pi-calculus
Aaron Turon, Mitchell Wand
We give a new treatment of the pi-calculus based on the semantic theory of separation logic, continuing a research program begun by Hoare and O'Hearn. Using a novel resource model…
cs.PL2011
Parsing Reflective Grammars
Paul Stansifer, Mitchell Wand
Existing technology can parse arbitrary context-free grammars, but only a single, static grammar per input. In order to support more powerful syntax-extension systems, we propose r…