Towards typing for small-step direct reflection.

Jacques Carette, Aaron Stump

Browse the full PEPM paper archive.