Currently I am developing a new object-oriented programming language with a
novel type system supporting synchronization of concurrent processes and
reliable swapping of state-full software components. Here are some early
results of this work:
The language is based on "process types", a type system able to deal with
dynamic changes of message acceptability in a static way. Work on process
types was supported by the FWF in the project "Static Process Types for
Active Objects" (P12703-INF) carried out in 1999.