Investiage "parallel stacks" or interleaving type information with values on the stack to implement dynamic types.
Investiage "parallel stacks" or interleaving type information with values on the stack to implement dynamic types.