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

Jan Christiansen

  1. One Monad to Prove Them All
    2018/05/21 by Sandra Dylus, Jan Christiansen, Finn Teegen · 1 voice · 1 citation
    Computer Science · #cs.PL