Paul Stansifer

I have a face:

I have an affiliation:
Programming Research Lab, College of Computer and Information Science, Northeastern University

I have a location:
Room 330, West Villiage H, 440 Huntington Avenue, Boston, Massachusetts 02115

I have an email address:
pauls at ccs dot neu dot edu

I have an advisor:
Mitch Wand

I have a paper about parsing:
P. Stansifer and M. Wand. Parsing Reflective Grammars, LDTA 2011.

It has a longer version, with a correctness proof:
Parsing Reflective Grammars

I have a paper about binding-safe programming:
Romeo: a system for more flexible binding-safe programming

It has two supplements:
An example derivation for =R Some derivations and proofs regarding Romeo

I have nothing else to say at this time: