[{"text":"\n\n\nEelco Visser , Guido Wachsmuth , Andrew Tolmach , Pierre Neron , Vlad Vergu , Augusto Passalaqua , Gabrieël Konat, A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, October 20-24, 2014, Portland, Oregon, USA\n\n\n","citation":"2661149"}]