Foundation of Object-oriented Languages This is an implementation of the type checking algorithms in Kim Bruce's book Foundation of Object-oriented Languages. This is a hobby project for me and any errors in these algorithms are mine alone and you should consult the book instead.