Bahr, Patrick
- 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)
- Diamonds are not forever: Liveness in reactive programming with guarded recursion
2020/03/06 by Bahr, Patrick, Graulund, Christian Uldal, Møgelberg, Rasmus · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)