Guillaume Munch-Maccagnoni
- Resource Polymorphism
2018/03/07 by Guillaume Munch-Maccagnoni, Munch-Maccagnoni, Guillaume · 2 voices · 2 citations
Computer Science · #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Distributed systems and fault tolerance
- Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
2025/10/27 by Sidney Congard, Guillaume Munch-Maccagnoni, Congard, Sidney +3 · 2 voices
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL