A Lightweight Approach to Datatype-Generic Rewriting (2008)
by
Thomas Van Noort
,
Alexey Rodriguez
,
Stefan Holdermans
,
Johan Jeuring
,
Bastiaan Heeren
,
Thomas Noort
,
Alexey Rodriguez
,
Stefan Holdermans
,
Johan Jeuring
,
Bastiaan Heeren
| Citations: | 11 - 8 self |
BibTeX
@MISC{Noort08alightweight,
author = {Thomas Van Noort and Alexey Rodriguez and Stefan Holdermans and Johan Jeuring and Bastiaan Heeren and Thomas Noort and Alexey Rodriguez and Stefan Holdermans and Johan Jeuring and Bastiaan Heeren},
title = {A Lightweight Approach to Datatype-Generic Rewriting},
year = {2008}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 252 | QuickCheck: a lightweight tool for random testing of Haskell programs - Claessen, Hughes - 2000 |
| 97 | G.: Algebraic Semantics of Imperative Programs - Goguen, Malcolm |
| 55 | Associated type synonyms - Chakravarty, Manuel - 2005 |
| 32 | Generic programs and proofs - Hinze |
| 29 | Stream fusion: from lists to streams to nothing at all - Coutts, Leshchinskiy, et al. - 2007 |
| 3 | Matching and modifying with generics - Brown, Sampson - 2008 |
| 2 | Generic programming with type families - Chakravarty, Keller, et al. - 2008 |
