Petr Lozov, Andrei Vyatkin, Dmitry Boulytchev. Typed Relational Conversion. In Meng Wang 0002, Scott Owens, editors, Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. Volume 10788 of Lecture Notes in Computer Science, pages 39-58, Springer, 2017. [doi]
Abstract is missing.