Graulund, Christian Uldal
- 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)
- 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)