Debugging with domain-specific events via macros.

Xiangqi Li, Matthew Flatt

Browse the full SLE paper archive.