Hendrik van Antwerpen
@hendrik.van-antwerpen.net
The dissertation is accompanied by a number of propositions that reflect on the research more generally or comment on societal issues. Follow this link to download the dissertation and propositions: doi.org/10.4233/uuid....
January 8, 2025 at 4:10 PM
The dissertation is accompanied by a number of propositions that reflect on the research more generally or comment on societal issues. Follow this link to download the dissertation and propositions: doi.org/10.4233/uuid....
The topic of the dissertation is the design of a meta-language, Statix, to support high-level type specifications of programming languages with expressive name binding features, and automatically generate type checkers from those specifications.
January 8, 2025 at 4:10 PM
The topic of the dissertation is the design of a meta-language, Statix, to support high-level type specifications of programming languages with expressive name binding features, and automatically generate type checkers from those specifications.
A Dutch PhD defence is a very formal public ceremony. After a short presentation to introduce the topic to the audience, there is an hour of questioning by the committee, until the bedel announces hora est (it is time). If the degree is awarded, the diploma ceremony immediately follows the defence.
January 8, 2025 at 4:10 PM
A Dutch PhD defence is a very formal public ceremony. After a short presentation to introduce the topic to the audience, there is an hour of questioning by the committee, until the bedel announces hora est (it is time). If the degree is awarded, the diploma ceremony immediately follows the defence.