Virtual Machines and Forth

Our interests in this area include algebraic type checking of stack effects and provision of an execution platform for reversible computations through a special version of the Forth stack based VM which provides for reversible execution by incorporating a history stack.