We have built the first family of tagless interpretations for a higher-order typed object
language in a typed metalanguage (Haskell or ML) that require no dependent types …

Design patterns are reusable abstractions in object-oriented software. However, using
current mainstream programming languages, these elements can only be expressed extra …

The so-called 'typed tagless final'approach of [6] has collected and polished a number of
techniques for representing typed higher-order languages in a typed metalanguage, along …

The problem of supporting the modular extensibility of both data and functions in one
programming language at the same time is known as the expression problem. Functional …

We have built the first family of tagless interpretations for a higher-order typed object
language in a typed metalanguage (Haskell or ML) that require no dependent types …

A generic function is a function that can be instantiated on many data types to obtain data
type specific functionality. Examples of generic functions are the functions that can be …

Over time, basic research tends to lead to specialization–increasingly narrow t-ics are
addressed by increasingly focussed communities, publishing in increasingly con ned …

The paper “Scrap your boilerplate”(SYB) introduces a combinator library for generic
programming that offers generic traversals and queries. Classically, support for generic …

The last decade has seen a number of approaches to datatype-generic programming:
PolyP, Functorial ML,'Scrap Your Boilerplate', Generic Haskell,'Generics for the Masses', and …

This paper presents a new solution to the expression problem (EP) that works in OO
languages with simple generics (including Java or C#). A key novelty of this solution is that …