Polymorphic High-Order Programming in Prolog

Michael Hanus. Polymorphic High-Order Programming in Prolog. In ICLP. pages 382-397, 1989.

Abstract

Abstract is missing.