Seuraa
Maxime Kjaer
Maxime Kjaer
EPFL
Vahvistettu sähköpostiosoite verkkotunnuksessa alumni.epfl.ch
Nimike
Viittaukset
Viittaukset
Vuosi
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
192022
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
12022
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–2