Vazou, Niki

1. Refinement Types: A Tutorial
   2020/10/15 by Ranjit Jhala, Jhala, Ranjit, Niki Vazou +1 · 3 voices
   #cs.PL #cs.LO #cs.SE
2. Bounded Refinement Types
   2015/07/01 by Niki Vazou, Vazou, Niki, Alexander Bakst +3 · 1 voice · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Security and Verification in Computing #cs.PL #cs.SE
3. 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
4. Type-Level Computations for Ruby Libraries
   2019/04/06 by Kazerounian, Milod, Guria, Sankha Narayan, Vazou, Niki +2 · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)