Martin Büchi

• Safe languages mechanisms for modularization and concurrency