Skip to content

Polymorphic High-Order Programming in Prolog.

Michael Hanus

VenueBICLP
Year1989
ProceedingsICLP

Browse the full ICLP paper archive.