Horn clause specifications with polymorphic types

@inproceedings{Hanus1988HornCS,
  title={Horn clause specifications with polymorphic types},
  author={Michael Hanus},
  booktitle={ADT},
  year={1988}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…