Template meta-programming for Haskell

By T. Sheard, Simon L. Peyton Jones. ACM SIGPLAN Symposium/Workshop on Haskell, 2002

583 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/f57304b239f248037a0492054aaf4695c4fca610

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Martin Odersky
2. Tiark Rompf
3. Ralf Lämmel
4. Nicolas Oury
5. Ohad Kammar
6. S. Lindley
7. Simon L. Peyton Jones

In Computational Theory and Mathematics

1. Martin Odersky
2. Tiark Rompf
3. Ralf Lämmel
4. Nicolas Oury
5. Ohad Kammar
6. S. Lindley
7. Simon L. Peyton Jones

In Hardware and Architecture

1. Martin Odersky
2. Tiark Rompf
3. Ralf Lämmel
4. Nicolas Oury
5. Ohad Kammar
6. S. Lindley
7. Simon L. Peyton Jones

Citations in the corpus

• Handlers in action (2013, methodology): “Quasiquotes [28] extend Template Haskell splicing functionality with user-defined syntax.”
• Scrap your boilerplate: a practical design pattern for generic programming (2003, methodology): “We envisage that a template-based approach [30] can be used to derive optimised traversals at compile time.”
• Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs (2010, methodology): “Related Work Static meta-programming approaches include C++ templates [39], and Template Haskell [34].”