Thursday, 1 December 2011, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Abstract: The ABS language has a Haskell-style module system. It is possible to specify names of types and functions to be exported, but not types. Therefore it is impossible to typecheck each module separately. In addition, in the ABS language there are no abstract types (also known as opaque types), which are useful for hiding implementation.
In my master's thesis, a module system (supporting separate compilation and abstract types) and a language based on ABS is designed and a type system given for it. The language has explicitly typed imports and exports, sufficient for typechecking each module individually. Safety is then proved for the type system.
This talk presents the key points of my master's thesis: