A lightweight approach to datatype-generic rewriting
From MaRDI portal
Publication:3070774
DOI10.1017/S0956796810000183zbMath1214.68189MaRDI QIDQ3070774
Bastiaan Heeren, Johan Jeuring, Stefan Holdermans, Alexey Rodriguez Yakushev, José Pedro Magalhães, Thomas van Noort
Publication date: 26 January 2011
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
Uses Software
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