Maxime Kjaer

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Special Features

Top Venues

Proc. ACM Program. Lang.

Publications

Matthew Weidner, Heather Miller, Huairui Qi, Maxime Kjaer, Ria Pradeep, Benito Geordie, Christopher Meiklejohn
Collabs: Composable Collaborative Data Structures. CoRR (2022)
Olivier Blanvillain, Jonathan Immanuel Brachthäuser, Maxime Kjaer, Martin Odersky
Type-level programming with match types. Proc. ACM Program. Lang. 6 (POPL) (2022)