Hansen, T. E. & Brady, E. C., 28 Aug 2024, TyDe 2024: Proceedings of the 9th ACM SIGPLAN international workshop on type-driven development. Alves, S. & Cockx, J. (eds.). New York: ACM, p. 37 - 49
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution