Oters - Further Reading

---

While by no means necessary to use the Oters language, it may be worth reading the paper by Patrick Bahr upon which Oters’ type system is based on. It details the specifics of the modal type system, including the operational semantics for the interpreter.

The paper can be found here.

Moreover, this project was the result of my Cambridge Third Year Dissertation. If you’re interested, you can read the dissertation here.