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

Adam Geller

  1. Flux: Liquid Types for Rust
    2022/07/08 by Nico Lehmann, Adam Geller, Lehmann, Nico +5 · 1 voice · 2 citations
    Computer Science · #D.2.4 #F.3.1 #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing #Software Engineering Research #cs.PL