Parametric polymorphism for Typed Prolog and λProlog (1996)

by P Louvet, O Ridoux
Venue:Proceedings of the 8th Symposium on Programming Language Implementations and Logic Programming, volume 1140 of LNCS