Polymorphism Support
ML implementations execute the same code for all calls to a polymorphic function
- gc routine can not know precisely all variable structures
- calling procedures can be examined
- problem: fair amount of stack traversing
- better: stack traversal from oldest activation record to the most recent
- may require initial traversal to perform pointer-reversal