Metaprogramming is the process of writing computer programs that treat programs as data,
enabling them to analyze or transform existing programs or generate new ones. While the …

Dynamically typed languages such as Python and Ruby have experienced a rapid grown in
popularity in recent times. However, there is much confusion as to what makes these …

We propose a new extension to the purely functional programming language Haskell that
supports compile-time meta-programming. The purpose of the system is to support the …

Solver-aided domain-specific languages (SDSLs) are an emerging class of computer-aided
programming systems. They ease the construction of programs by using satisfiability solvers …

Web applications typically interact with a back-end database to retrieve persistent data and
then present the data to the user as dynamically generated output, such as HTML web …

The report gives a defining description of the programming language Scheme. Scheme is a
statically scoped and properly tail-recursive dialect of the Lisp programming language …

DrScheme is a programming environment for Scheme. It fully integrates a graphics-enriched
editor, a parser for multiple variants of Scheme, a functional read-eval-print loop, and an …

This is the first empirical study of the use of the C macro preprocessor, Cpp. To determine
how the preprocessor is used in practice, this paper analyzes 26 packages comprising 1.4 …

Existing approaches to extend a programming language with syntactic sugar often leave a
bitter taste, because they cannot be used with the same ease as the main extension …

A programmable programming language Page 1 62 COMMUNICATIONS OF THE ACM | MARCH
2018 | VOL. 61 | NO. 3 IN THE IDEAL world, software developers would analyze each problem …