A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs.

Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Neron, Vlad A. Vergu, Augusto Passalaqua, Gabril Konat

Browse the full OOPSLA paper archive.