A definitional interpreter defines the semantics of an object language in terms of the (well-
known) semantics of a host language, enabling understanding and validation of the …

Programming languages are complex software systems integrated across an ecosystem of
different applications such as language compilers or interpreters but also an integrated …

This paper introduces a vision of Miking, a language framework for constructing efficient and
sound language environments and compilers for domain-specific modeling languages. In …

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

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

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 equip** …

We present a type system over language definitions that classifies parts of the operational
semantics of a language in input, and models a common language design organization. The …

Syntactic sugar plays a crucial role in engineering programming languages. It offers
convenient syntax and higher-level of abstractions, as witnessed by its pervasive use in both …

General-purpose programming languages typically define literal notation for only a small
number of common data structures, like lists. This is unsatisfying because there are many …

Exploration of language specifications helps to discover errors and inconsistencies early
during the development of a programming language. We propose exploration of language …