Implementing a Lazy Functional Logic Language with Disequality Constraints

Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo. Implementing a Lazy Functional Logic Language with Disequality Constraints. In JICSLP. pages 207-221, 1992.

Abstract

Abstract is missing.