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. 185-245 2001 1 TPLP 2 db/journals/tplp/tplp1.html#Arenas-SanchezR01