8 citations · 8 across the 2 of their papers we have counts for
3 papers
Mixing visual and textual code
Leif Andersen, Michael Ballantyne, Cameron Moy +2
The dominant programming languages support nothing but linear text to express domain-specific geometric ideas. What is needed are hybrid languages that allow developers to create v…
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…
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…