Functional Programming.
Marceau In this paper, we present an eÆient and pratial algorithm for inferring stati types for loal variables in a 3-address, stakless, representation of Java byteode. By deoupling the type inferene problem from the low level byteode representation, and abstrating it into a onstraint system, we