Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: L

Number of items: 1.

L

Lu, Lunjin and King, Andy (2002) Backward Type Inference Generalises Type Checking. In: Hermenegildo, Manuel V. and Puebla, German, eds. Static Analysis 9th International Symposium. Lecture Notes in Computer Science, 2477 . Springer, Berlin, Germany, pp. 85-101. ISBN 978-3-540-44235-6. E-ISBN 978-3-540-45789-3. (doi:10.1007/3-540-45789-5_9) (KAR id:13743)

This list was generated on Sat May 11 22:57:43 2024 BST.