Type-level programming with match types O Blanvillain, JI Brachthäuser, M Kjaer, M Odersky Proceedings of the ACM on Programming Languages 6 (POPL), 1-24, 2022 | 19 | 2022 |
Collabs: Composable Collaborative Data Structures M Weidner, H Miller, H Qi, M Kjaer, R Pradeep, B Geordie, C Meiklejohn arXiv preprint arXiv:2212.02618, 2022 | 1 | 2022 |