Christian Graulund

According to our database, Christian Graulund authored at least 6 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Special Session: Digital Technologies for Sustainability - Research Challenges and Opportunities.

Paul Pop, Christian Graulund, Sonia Yeh, Martin Törngren

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2023

2021

Diamonds are not forever: liveness in reactive programming with guarded recursion.

Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg

Proc. ACM Program. Lang., 2021

Adjoint Reactive GUI Programming.

Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Adjoint Reactive GUI.

Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami

CoRR, 2020

2019

Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks.

Patrick Bahr, Christian Graulund, Rasmus Ejlers Møgelberg

Proc. ACM Program. Lang., 2019

Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming.

Patrick Bahr, Christian Graulund, Rasmus Ejlers Møgelberg

CoRR, 2019