Directional Type Inference for Logic Programs (1998)

View PDF

Download Links

by Witold Charatonik , Andreas Podelski
Citations:16 - 6 self