@inproceedings{310cd6bb718043afb5a91bfe38c15f3b,
title = "Generic Matching of Tree Regular Expressions over Haskell Data Types",
abstract = "Tree regular expressions are a generalization of string regular expressions to tree-shaped data. In this paper we apply the theory of tree regular expressions to extend pattern matching on Haskell data types. We define the operations in a data type-generic way, looking at data types as fixed-points of pattern functors and using the Generic implementation available in the GHC Haskell compiler.",
author = "Alejandro Serrano and J. Hage",
year = "2016",
month = jan,
day = "9",
doi = "10.1007/978-3-319-28228-2_6",
language = "English",
isbn = "9783319282275",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "83--98",
booktitle = "Practical Aspects of Declarative Languages. PADL 2016",
}