Horatiu Cirstea, Pierre-Etienne Moreau. Generic Encodings of Constructor Rewriting Systems. In Ekaterina Komendantskaya, editor, Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. ACM, 2019. [doi]
Abstract is missing.