Shin-ya Nishizaki. Incorporating First-Order Unification into Functional Language via First-Class Environments. In Vinu V. Das, Passent El-Kafrawy, editors, Signal Processing and Information Technology - Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers. Volume 117 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 19-25, Springer, 2012. [doi]
Abstract is missing.