Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm

Martin Müller Joachim Niehren Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm http://arxiv.org/abs/cmp-lg/9506002 1995 CoRR abs/cmp-lg/9506002 db/journals/corr/corr9506.html#abs-cmp-lg-9506002 informal publication