This prototype is a programming system which includes a minimalistic programming language, type system and run-time specially created to experiment the use and impact of adding behavioral types to an object oriented language as well as test their usefulness on Web Service creation and use. This project focus on defining typing rules to statically enforce the correct use of an object's behavior.
