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 …

Multi-stage programming using typed code quotation is an established technique for writing
optimizing code generators with strong type-safety guarantees. Unfortunately, quotation in …

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

We propose MetaFM, a novel ML-style module system that enables users to decompose
multi-stage programs (ie, programs written in a typed multi-stage programming language) …

Staging has proved a successful technique for programmatically removing code
abstractions, thereby allowing for faster program execution while retaining a high-level …

Partially-static data structures are a well-known technique for improving binding times.
However, they are often defined in an ad-hoc manner, without a unifying framework to …

Modules are an indispensable mechanism for providing abstraction to programming
languages. To reduce the abstraction overhead in the usage of modules, Watanabe et al …

Tierless Web programming languages allow combining client-side and server-side
programming in a single program. This allows defining expressions with both client and …

Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write
repetitive code, but typically introduce significant performance overheads. This leaves …

Eliom is a dialect of OCaml for Web programming in which server and client pieces of code
can be mixed in the same file using syntactic annotations. This allows to build a whole …