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

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, Gabriël Konat

01 February 2014


Venue : Onward

External Link: https://doi.org/10.1145/2661136.2661149