Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
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…
cs.PL2024
Making Hybrid Languages: A Recipe
Leif Andersen, Cameron Moy, Stephen Chang +1
The dominant programming languages support only linear text to express ideas. Visual languages offer graphical representations for entire programs, when viewed with special tools.…
cs.PL2020
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification
Cameron Moy, Phúc C. Nguyen, Sam Tobin-Hochstadt +1
Gradually-typed programming languages permit the incremental addition of static types to untyped programs. To remain sound, languages insert run-time checks at the boundaries betwe…