Inproceedings,

More Precise Yet Efficient Type Inference for Logic Programs.

, and .
WLPE, page 63-76. (2002)

Meta data

Tags

Users

  • @dblp

Comments and Reviews