vix.ing · top · new · best · stats · spec

Congard, Sidney

  1. 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