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

Stephanie Balzer

  1. Ferrite: A Judgmental Embedding of Session Types in Rust
    2022/05/13 by Ruo Fei Chen, Chen, Ruo Fei, Stephanie Balzer +3 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques