Effectful theories of programming languages: mathematically structured programming

Status	Active
Effective start/end date	1/12/21 → 31/12/23

Project Details