Publications

Well, there we go. Just shy of four years after I started my PhD, I’ve finally submitted a research paper to a workshop. In this case: “The Workshop on Type-Driven Development” – abbreviated TyDe – 2024.