A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo. A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. TPLP, 1(2):185-245, 2001.

Abstract

Abstract is missing.