… of component-based systems that employs so-called type-level programming (or compile …. For this model, we develop a combinator library in Haskell, which uses type-level … and their type-safe implementation in a functional programming language. We demonstrate …
ESEC/FSE 2007: 23-36 [doi]… programming on the level of types. This emergent capability has been exploited … of statically fixed length (vectors). We explain how type-level programming can … subset of SQL in Haskell. In this model, meta-data is represented by type-level …
haskell 2006: 25-36 [doi]… Types play an increasingly important role in program construction, software … for high-level program construction and reasoning about the behavior of programs … level, and a program transformation technique of the mentioned kind …
2008.… A two-level data transformation consists of a type-level transformation …-level transformations with respect to the type-level transformation is guarded … by one-step transformation rules and type-level transformations induce value-level …
FM 2006: 284-299 [doi]… . Epigram is a high level notation for dependently typed functional programming …Types express a program’s meaning, and checking types ensures that a program has the intended meaning. In a dependently typed programming language types …
PhD thesis, University of Durham, 2005.… tags or types, using names from the non-terminals of the object language syntax … fragments and anti-quotations for meta-level expressions and variables are used …In meta-programming with concrete object syntax, meta programs can be written …
SLE 2010: 327-336 [doi]… criteria include Haskell because of its type classes and C++ with the concept … and differences between type classes in Haskell and concepts in C++ and discuss which …Earlier studies have introduced a list of high-level evaluation criteria …
JFP, 20(3-4):271-302, 2010. [doi]… never generate unsafe programs. A type system and semantics for full MetaML …Abstract
We introduce MetaML, a practically motivated, statically typed … the programmer to construct, combine, and execute code fragments in a type-safe manner. Code …
TCS, 248(1-2):211-242, 2000. [doi]