Introduction

• ec + ic + kalypso -> nick -> nickle
• C-like syntax
• Compile-time typechecking
• Threading
• Structured exceptions and mutual exclusion