Rémi Douence
- Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
2025/10/27 by Sidney Congard, Congard, Sidney, Guillaume Munch-Maccagnoni +3 · 2 voices
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL
- Views, Program Transformations, and the Evolutivity Problem in a Functional Language
2010/05/07 by Julien Cohen, Rémi Douence, Cohen, Julien +1 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #cs.PL #cs.SE