Directional Type Checking for Logic Programs: Beyond Discriminative Types.

Witold Charatonik Directional Type Checking for Logic Programs: Beyond Discriminative Types. 72-87 2000 conf/esop/2000 ESOP http://link.springer.de/link/service/series/0558/bibs/1782/17820072.htm db/conf/esop/esop2000.html#Charatonik00