An Interpreter in Haskell for Object Calculus A simple Interpreter in Haskell the Object Calculus devised by Martin Abadi and Luca Cardelli. Check out our paper here. Check out our project presentation here.