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

by P Arenas-Sánchez, M Rodŕıguez-Artalejo
Venue:Proc. Int. Joint Conference on Theory and Practice of Software Development (TAPSOFT’97), Springer LNCS 1214