Manfred Schmidt-Schauß, David Sabel. Unification of program expressions with recursive bindings. In James Cheney, Germán Vidal, editors, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016. pages 160-173, ACM, 2016. [doi]
Abstract is missing.