NWO Veni on Composable and Safe-by-Construction Programming Language Definitions
Date: Tue, July 16, 2019
Time: 12:00
Room: TBA
Previous:
Gabriele Keller | Data refinement for Cogent
Next:
| Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications