Michael Kirkedal Thomsen. Describing and Optimising Reversible Logic Using a Functional Language. In Andy Gill, Jurriaan Hage, editors, Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers. Volume 7257 of Lecture Notes in Computer Science, pages 148-163, Springer, 2011. [doi]
Abstract is missing.