1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.PL2018★ 1 cited
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos +1
We present a complete reasoning principle for contextual equivalence in an untyped probabilistic language. The language includes continuous (real-valued) random variables, conditio…
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…