Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance. - Rebecca Walpole Djang; Margaret M. Burnett; Roger D. Chen (J. Vis. Lang. Comput., 2000)