A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types (1997)

by P Arenas-Sánchez, M Rodríguez-Artalejo
Venue:In Proc. CAAP’97