Template meta-programming for Haskell

Authors:
Tim Sheard;Simon Peyton Jones
Affiliations:
OGI School of Science & Engineering, Oregon Health & Science University;Microsoft Research Ltd
Venue:
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Year:
2002

Citing 11
Cited 134

Macros that work

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Syntactic abstraction in Scheme

Lisp and Symbolic Computation
Multi-stage programming with explicit annotations

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Dynamic typing as staged type inference

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hygienic macro expansion

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
First-class macros have types

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Impact of economics on compiler optimization

Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande
Macros as multi-stage computations: type-safe, generative, binding macros in MacroML

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Special forms in Lisp

LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Functional unparsing

Journal of Functional Programming
Accomplishments and research challenges in meta-programming

SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation

Scrap your boilerplate: a practical design pattern for generic programming

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Modeling quantum computing in Haskell

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Structure and interpretation of quantum mechanics: a functional framework

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Staged notational definitions

Proceedings of the 2nd international conference on Generative programming and component engineering
Semantics of the reFLect language

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Two-level types and parameterized modules

Journal of Functional Programming
Student paper: HaskellDB improved

Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Type-safe, self inspecting code

Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Languages of the future

OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Languages of the future

ACM SIGPLAN Notices
Software reuse for scientific computing through program generation

ACM Transactions on Software Engineering and Methodology (TOSEM)
Parallel functional programming in Eden

Journal of Functional Programming
A new calculus of contexts

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Towards a fully-reflective meta-programming language

ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Scrap your nameplate: (functional pearl)

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Scrap your boilerplate with class: extensible generic functions

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Meta-programming through typeful code representation

Journal of Functional Programming
A reflective functional language for hardware design and theorem proving

Journal of Functional Programming
A historic functional and object-oriented calculus

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Compile-time meta-programming in a dynamically typed OO language

DLS '05 Proceedings of the 2005 symposium on Dynamic languages
A programming paradigm for machine learning, with a case study of Bayesian networks

ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
A pattern for almost compositional functions

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
RepLib: a library for derivable type classes

Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Introducing the Haskell equational reasoning assistant

Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution

Proceedings of the 2006 workshop on ML
Generics for the masses

Journal of Functional Programming
A multi-stage language with intensional analysis

Proceedings of the 5th international conference on Generative programming and component engineering
A verified staged interpreter is a verified compiler

Proceedings of the 5th international conference on Generative programming and component engineering
Scrap your boilerplate with XPath-like combinators

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Spoon: Compile-time Annotation Processing for Middleware

IEEE Distributed Systems Online
Aspect-oriented programming with type classes

Proceedings of the 6th workshop on Foundations of aspect-oriented languages
A history of Haskell: being lazy with class

Proceedings of the third ACM SIGPLAN conference on History of programming languages
Type-Safe Code Transformations in Haskell

Electronic Notes in Theoretical Computer Science (ENTCS)
An update calculus for expressing type-safe program updates

Science of Computer Programming
Component-based end-user database design for ecologists

Journal of Intelligent Information Systems
Model transformations in MT

Science of Computer Programming
Uniform boilerplate and list processing

Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Why it's nice to be quoted: quasiquoting for haskell

Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Model transformations in MT

Science of Computer Programming
Library for systematic search for expressions

AIC'06 Proceedings of the 6th WSEAS International Conference on Applied Informatics and Communications
Expressive and safe static reflection with MorphJ

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Domain specific language implementation via compile-time meta-programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
A type-preserving compiler in Haskell

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Paradise: a two-stage DSL embedded in Haskell

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Flask: staged functional programming for sensor networks

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime

Proceedings of the first ACM SIGPLAN symposium on Haskell
Making monads first-class with template haskell

Proceedings of the first ACM SIGPLAN symposium on Haskell
Clase: cursor library for a structured editor

Proceedings of the first ACM SIGPLAN symposium on Haskell
A lightweight approach to datatype-generic rewriting

Proceedings of the ACM SIGPLAN workshop on Generic programming
Scala for generic programmers

Proceedings of the ACM SIGPLAN workshop on Generic programming
Domain-specific languages and program generation with meta-AspectJ

ACM Transactions on Software Engineering and Methodology (TOSEM)
Functional Meta-programming for Parallel Skeletons

ICCS '08 Proceedings of the 8th international conference on Computational Science, Part I
Programming in Ωmega

Central European Functional Programming School
Polymorphic embedding of dsls

GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
WebDSL: A Case Study in Domain-Specific Language Engineering

Generative and Transformational Techniques in Software Engineering II
Evolving a DSL Implementation

Generative and Transformational Techniques in Software Engineering II
A pattern for almost compositional functions

Journal of Functional Programming
Writing Composable Software with InterpreterLib

SC '09 Proceedings of the 8th International Conference on Software Composition
A Haskell Hosted DSL for Writing Transformation Systems

DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Generic programming with fixed points for mutually recursive datatypes

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Alloy: fast generic transformations for Haskell

Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
Type-safe observable sharing in Haskell

Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
Toward foundations for type-reflective metaprogramming

GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

Journal of Functional Programming
The lambda-context calculus (extended version)

Information and Computation
Language factories

Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Optimizing generics is easy!

Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
A survey of strategies in rule-based program transformation systems

Journal of Symbolic Computation
A pattern logic for prompt lazy assertions in Haskell

IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Generic programming in Ωmega

SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
A theory of hygienic macros

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Libraries for generic programming in haskell

AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Generic record combinators with static type checking

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Formalizing Homogeneous Language Embeddings

Electronic Notes in Theoretical Computer Science (ENTCS)
Scrap your zippers: a generic zipper for heterogeneous types

Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
A generic deriving mechanism for Haskell

Proceedings of the third ACM Haskell symposium on Haskell
Nikola: embedding compiled GPU functions in Haskell

Proceedings of the third ACM Haskell symposium on Haskell
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Incremental type-checking for type-reflective metaprograms

GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Morphing: Structurally shaping a class by reflecting on others

ACM Transactions on Programming Languages and Systems (TOPLAS)
Testing first-order logic axioms in program verification

TAP'10 Proceedings of the 4th international conference on Tests and proofs
Scala for generic programmers: Comparing haskell and scala support for generic programming

Journal of Functional Programming
A lightweight approach to datatype-generic rewriting

Journal of Functional Programming
Accelerating Haskell array codes with multicore GPUs

Proceedings of the sixth workshop on Declarative aspects of multicore programming
Static analysis of multi-staged programs via unstaging translation

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pull-ups, push-downs, and passing it around

IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Extending type systems in a library: Type-safe XML processing in C++

Science of Computer Programming
Program logics for homogeneous meta-programming

LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Statically safe program generation with SafeGen

Science of Computer Programming
Dynamics for ML using Meta-Programming

Electronic Notes in Theoretical Computer Science (ENTCS)
Embedded parser generators

Proceedings of the 4th ACM symposium on Haskell
Forest: a language and toolkit for programming with filestores

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Generic programming for indexed datatypes

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming
Compositional data types

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming
Backstage Java: making a difference in metaprogramming

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Haskell boards the ferry: database-supported program execution for Haskell

IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Crossing state lines: adapting object-oriented frameworks to functional reactive languages

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Specification and verification of meta-programs

PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Yet another language extension scheme

SLE'09 Proceedings of the Second international conference on Software Language Engineering
Dynamic task generation and transformation within a nestable workpool skeleton

Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Causal commutative arrows

Journal of Functional Programming - Dedicated to ICFP 2009
A functional programming technique for forms in graphical user interfaces

IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Statically safe program generation with safegen

GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Preprocessing eden with template haskell

GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Interfacing haskell with object-oriented languages

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Polytypic programming in haskell

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Program optimizations and transformations in calculation form

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
A semantic analysis of c++ templates

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Pattern-based traits

Proceedings of the 27th Annual ACM Symposium on Applied Computing
Modular extensions for modular (logic) languages

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs

Proceedings of the 2012 Haskell Symposium
Template your boilerplate: using template haskell for efficient generic programming

Proceedings of the 2012 Haskell Symposium
Dependently typed programming with singletons

Proceedings of the 2012 Haskell Symposium
Layout-sensitive language extensibility with SugarHaskell

Proceedings of the 2012 Haskell Symposium
Practical typed lazy contracts

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Supporting compile-time debugging and precise error reporting in meta-programs

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Honu: syntactic extension for algebraic notation through enforestation

Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Morphing: safely shaping a class in the image of others

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Algebraic data types for language-integrated queries

DDFP '13 Proceedings of the 2013 workshop on Data driven functional programming
A framework for testing first-order logic axioms in program verification

Software Quality Control
DKAL*: constructing executable specifications of authorization protocols

ESSoS'13 Proceedings of the 5th international conference on Engineering Secure Software and Systems
Quipper: a scalable quantum programming language

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Type-directed, whitespace-delimited parsing for embedded DSLs

Proceedings of the First Workshop on the Globalization of Domain Specific Languages
Scala macros: let our powers combine!: on how rich syntax and static types work with metaprogramming

Proceedings of the 4th Workshop on Scala
Typed syntactic meta-programming

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Modular and automated type-soundness verification for language extensions

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Embrace, defend, extend: a methodology for embedding preexisting DSLs

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages
A framework for extensible languages

Proceedings of the 12th international conference on Generative programming: concepts & experiences
Submodules in racket: you want it when, again?

Proceedings of the 12th international conference on Generative programming: concepts & experiences
A framework for extensible languages

Proceedings of the 12th international conference on Generative programming: concepts & experiences
Refactoring pattern matching

Science of Computer Programming
Synchronous digital circuits as functional programs

ACM Computing Surveys (CSUR)
Early detection of type errors in C++ templates

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Compile-time reflection and metaprogramming for Java

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 algorithmic construction of programs at compile-time.The ability to generate code at compile time allows the programmer to implement such features as polytypic programs, macro-like expansion, user directed optimization (such as inlining), and the generation of supporting data structures and functions from existing data structures and functions.Our design is being implemented in the Glasgow Haskell Compiler, ghc.