Type Synthesis for Logic Programs.

Jichang Tan, I-Peng Lin

Browse the full ICLP paper archive.