Presentation Slides
Tbpa
| Jean | Uniqueness Typing Simplified | Oct 6 |
| Tom | Type-Safe Optimisation of Plugin Architectures | Oct 9 |
| Jeroen | A Type System for Checking Applet Isolation in Java Card | Oct 13 |
| Jean | Uniqueness Typing Simplified | Oct 6 |
| Tom | Type-Safe Optimisation of Plugin Architectures | Oct 9 |
| Jeroen | A Type System for Checking Applet Isolation in Java Card | Oct 13 |