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

Kawamata, Fuga

  1. Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
    2023/07/28 by Kawamata, Fuga, Unno, Hiroshi, Sekiyama, Taro +1 · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)