A liberal type system for functional logic programs

Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. A liberal type system for functional logic programs. Mathematical Structures in Computer Science, 25(4):942-977, 2015. [doi]

Abstract

Abstract is missing.