8 citations · 8 across the 1 of their papers we have counts for
2 papers
cs.PL2021★ 8 cited
Dependent Type Systems as Macros
Stephen Chang, Michael Ballantyne, Milo Turner +1
We present Turnstile+, a high-level, macros-based metaDSL for building dependently typed languages. With it, programmers may rapidly prototype and iterate on the design of new depe…
cs.PL2020
Adding Interactive Visual Syntax to Textual Code
Leif Andersen, Michael Ballantyne, Matthias Felleisen
Many programming problems call for turning geometrical thoughts into code: tables, hierarchical structures, nests of objects, trees, forests, graphs, and so on. Linear text does no…