Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
Lu, Lunjin and King, Andy (2002) Backward Type Inference Generalises Type Checking. In: Hermenegildo, Manuel V. and Puebla, German, eds. Static Analysis Symposium. Lecture Notes in Computer Science, 2477 . Springer-Verlag, Berlin, pp. 85-101. ISBN 978-3-540-44235-6. (doi:https://doi.org/10.1007/3-540-45789-5_9) (Full text available) |