Christian Uldal Graulund
- 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)
- Adjoint Reactive GUI
2020/10/23 by Christian Uldal Graulund, Dmitrij Szamozvancev, Graulund, Christian Uldal +3 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)