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

Chen, Ruofei

  1. Ferrite: A Judgmental Embedding of Session Types in Rust
    2020/09/28 by Chen, Ruofei, Balzer, Stephanie, Toninho, Bernardo · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)