A lightweight approach to datatype-generic rewriting

DOI10.1017/S0956796810000183zbMath1214.68189OpenAlexW2041037071MaRDI QIDQ3070774

Bastiaan Heeren, Thomas van Noort, Johan Jeuring, José Pedro Magalhães, Alexey Rodriguez Yakushev, Stefan Holdermans

Publication date: 26 January 2011

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796810000183

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Related Items (2)

Hierarchy in Generic Programming Libraries ⋮ Canonical Forms in Interactive Exercise Assistants

Uses Software

• Stratego
• QuickCheck

Cites Work

• Unnamed Item
• Type-indexed data types
• Language Prototyping: An Algebraic Specification Approach
• Polytypic unification
• Generic unification via two-level types and parameterized modules
• Type checking with open type functions
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Associated types with class

This page was built for publication: A lightweight approach to datatype-generic rewriting