Christian Uldal Graulund

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 4

Top Topics

Transitive Closure

Reactive Systems

Computer Programming

Top Venues

Proc. ACM Program. Lang.

Publications

Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
Adjoint Reactive GUI Programming. FoSSaCS (2021)
Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg
Diamonds are not forever: liveness in reactive programming with guarded recursion. Proc. ACM Program. Lang. 5 (POPL) (2021)
Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg
Diamonds are not forever: Liveness in reactive programming with guarded recursion. CoRR (2020)
Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
Adjoint Reactive GUI. CoRR (2020)