Backward Type Inference Generalises Type Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lunjin Lu, Andy King. Backward Type Inference Generalises Type Checking. In Manuel V. Hermenegildo, Germán Puebla, editors, Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Volume 2477 of Lecture Notes in Computer Science, pages 85-101, Springer, 2002. [doi]

This author has not been identified. Look up 'Lunjin Lu' in GoogleThis author has not been identified. Look up 'Andy King' in Google

runs on WebDSL