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: