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

Rizkallah, Christine

  1. COGENT: Certified Compilation for a Functional Systems Language
    2016/01/21 by Liam O’Connor, Liam O'Connor, O'Connor, Liam +20 · 2 voices
    Computer Science · #Distributed systems and fault tolerance #Formal Methods in Verification #Logic, programming, and type systems #cs.LO #cs.PL
  2. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
    2018/03/19 by Joachim Breitner, Antal Spector-Zabusky, Breitner, Joachim +9 · 1 voice
    #cs.PL