Functional Programming Languages with Logical Variables: A Linear Logic View

John Darlington, Yike Guo, Martin Köhler. Functional Programming Languages with Logical Variables: A Linear Logic View. In Maurice Bruynooghe, Jaan Penjam, editors, Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP 93, Tallinn, Estonia, August 25-27, 1993, Proceedings. Volume 714 of Lecture Notes in Computer Science, pages 201-219, Springer, 1993.

Abstract

Abstract is missing.