![Aron Zwaan](https://2024.ecoop.org/getProfileImage/aronzwaan1/ca29cfc9-349d-4a9f-9c52-1cec9cc684eb/small.jpg?1711597038000)
Registered user since Mon 16 Aug 2021
Name:Aron Zwaan
Bio:
My main research interest is in the relation between declarative type system specifications and executable type checker implementations. In particular, I want to derive the latter from the former.
For this, I am using Statix as a vehicle. In particular, I am interested in
- Methods to make the Type Checkers derived from Statix specifications more efficient, for example by designing incremental solvers, or (partially) compiling them.
- Methods to make the Core Language more expressive: i.e., supporting more (classes of) type systems
- Methods to make the Surface Language more convenient to use.
Country:Netherlands
Affiliation:Delft University of Technology
Personal website: https://aronzwaan.github.io
X (Twitter): https://x.com/aron_zwaan
GitHub: https://github.com/AZWN
Research interests:Type Systems, Type Checkers & Static Semantics
Contributions
Using general profile