Streaming transducers for algorithmic verication of single-pass list-processing programs, Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '11, p.599610, 2011. ,
Term Rewriting and All That, 1998. ,
Programming macro tree transducers, Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, WGP '13, p.6172, 2013. ,
Program transformation and rewriting, Rewriting Techniques and Applications, p.226239, 1991. ,
A faithful encoding of programmable strategies into term rewriting systems, RTA 2015, vol.36, p.7488, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01168956
Generic encodings of constructor rewriting systems, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02130396
Programming with polymorphic variants, ACM Workshop on ML, 1998. ,
Automated termination proofs for Haskell by term rewriting, ACM Trans. Program. Lang. Syst, vol.33, issue.2, p.7, 2011. ,
A nanopass framework for commercial compiler development, Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP '13, p.343350, 2013. ,
Termination of Isabelle functions via termination of rewriting, ITP 2011, p.152167, 2011. ,
Imperative program transformation by rewriting, Proceedings of the 10th International Conference on Compiler Construction, CC '01, p.5268, 2001. ,
Visitors unchained, Proceedings of the ACM on Programming Languages, vol.1, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01670735
An overview of the K semantic framework, Journal of Logic and Algebraic Programming, vol.79, issue.6, p.397434, 2010. ,
Term Rewriting Systems, 2003. ,