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

Patrick Bahr

  1. Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming\n without Space Leaks
    2019/03/14 by Patrick Bahr, Bahr, Patrick, Christian Uldal Graulund +3 · 2 citations
    Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)