ResearchIndex Home Gudeman, D. 1993. Representing type information in dynamically typed languages . Rep. TR93-27, University of Arizona, Department of Computer Science.
All threads can then continue.
The local algorithm is optimized to bind local variables locally. The implementation does binding in place and dereferencing inline. Common cases of unification such as parameter passing and local variable initialization do not need binding nor dereferencing, but reduce to single register moves or stores. Gudeman, D. 1993. Representing type information in dynamically typed languages .