Project Details
| Status | Active |
|---|---|
| Effective start/end date | 25/09/24 → 24/09/27 |
A Lightweight Type System for Scope and Effect Safety with Complete Bidirectional & Boolean-algebraic Type Inference
- PARREAUX, Lionel (PI)
Project: Research
Project: Research
| Status | Active |
|---|---|
| Effective start/end date | 25/09/24 → 24/09/27 |