Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance

Rebecca Walpole Djang, Margaret M. Burnett, Roger D. Chen. Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance. Journal of Computer Languages, 11(2):191-235, 2000.

Abstract

Abstract is missing.