Typed Object-Oriented Functional Programming with Late Binding
Abstract elided by the publisher.
Related papers
- Efficient late binding of dynamic function compositions SLE 2019
- Object-Oriented Type Inference OOPSLA 1991
- Lifetime Analysis of Dynamically Allocated Objects POPL 1988
- Inferring Types in Smalltalk POPL 1981
- An object-oriented calculus with term constraints JFP 2007
- Functional Style in C++: Closures, Late Binding, and Lambda Abstractions ICFP 1998
- Making Type Inference Practical ECOOP 1992
- An Object-Oriented Framework for Interactive Data Graphics OOPSLA 1987