A Modal Type System for Safe Distributed Computing
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 17 August 2012 |
| Place | Copenhagen, Denmark |
| Occasion | Proof, Computation, Complexity - International Workshop |
| Category | Contributed |
| Slides |
 primiero_slides_PCC12.pdf |