The Necessary and Sufficient Conditions of Type-Safe Polymorphism.

Jan-Bon Chen Samuel C. Lee

Published in: J. Object Oriented Program. (1996)

Keyphrases

sufficient conditions
fixed point
linear systems
exponential stability
lyapunov function
asymptotic stability
efficiently computable
equilibrium point
optimal policy
asymptotically optimal