Polymorphic High-Order Programming in Prolog

@inproceedings{Hanus1989PolymorphicHP,
  title={Polymorphic High-Order Programming in Prolog},
  author={Michael Hanus},
  booktitle={ICLP},
  year={1989}
}

From This Paper

Topics from this paper.