Structure editors allow programmers to edit the tree structure of a program directly. This can
have cognitive benefits, particularly for novice and end-user programmers. It also simplifies …

Text editing is powerful, but some types of expressions are more naturally represented and
manipulated graphically. Examples include expressions that compute colors, music …

Systematic reuse is crucial to efficiently engineer and deploy software languages to software
experts and domain experts alike. But “software languages are software too”, and hence …

This paper describes an extensible language framework, ableC, that allows programmers to
import new, domain-specific, independently-developed language features into their …

Programming language definitions assign formal meaning to complete programs.
Programmers, however, spend a substantial amount of time interacting with incomplete …

Type systems evolve too slowly to keep up with the quick evolution of libraries-especially
libraries that introduce abstractions. Type tailoring offers a lightweight solution by equipping …

Syntactic language extensions can introduce new facilities into a programming language
while requiring little implementation effort and modest changes to the compiler. It is typical to …

We present Turnstile, a metalanguage for creating typed embedded languages. To
implement the type system, programmers write type checking rules resembling traditional …

A day in the life of a developer often involves more time working with schemas,
configurations, and data description systems than writing code and logic in a classical …

Path dependent types have long served as an expressive component of the Scala
programming language. They allow for the modelling of both bounded polymorphism and a …