Statistics
Publications
2
Citations
25
H-Index
2
Active since
2022
Affiliations
Université Paris Cité(Current)
Matthew Lutze is an author at Université Paris Cité specializing in computer science, intersection types, and formal semantics.
Publications per year
2022–2023
2
2
On type-cases, union elimination, and occurrence typing
Giuseppe Castagna, Mickaël Laurent, Kim Nguyễn et al. · Proceedings of the ACM on Programming Languages · 2022 · 13 citations · Full text
1–2 of 2