I submitted a Tyde '24 Paper
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. Papers aren’t a requirement for passing your PhD here (and I know several successful people who never did as part of their PhD), but it still feels good to at least have submitted something (I’m so not counting my chickens yet!). The title of it is “Type-level Property Based Testing”.
Tue, 28 May 2024