H. van Antwerpen - Research output - TU Delft Research Portal

6 Conference contribution
3 Article
1 Conference article
1 Dissertation (TU Delft)

1 results

Filter

2024
Declarative Name Binding for Type System Specifications
van Antwerpen, H., 2024, 205 p.
Research output: Thesis › Dissertation (TU Delft)

Open Access
File
48 Downloads (Pure)