E-LIB Suche - Ergebnisse für: Graulund, Christian

1

Special Session: Digital Technologies for Sustainability: R..:

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

Pop, Paul ; Graulund, Christian ; Yeh, Sonia. - p. 18-23 , 2023

2

Diamonds are not forever: liveness in reactive programming ..:

Bahr, Patrick ; Graulund, Christian Uldal ; Møgelberg, Rasmus Ejlers
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021

Link: https://doi.org/10.1145/..

3

Adjoint Reactive GUI Programming:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Graulund, Christian Uldal ; Szamozvancev, Dmitrij ; Krishnaswami, Neel - p. 289-309 , 2021

Link: https://doi.org/10.1007/..

4

Diamonds are not forever: liveness in reactive programming ..:

Bahr, Patrick ; Graulund, Christian Uldal ; Møgelberg, Rasmus Ejlers
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021

Link: https://dl.acm.org/doi/1..

5

Simply RaTT: a fitch-style modal calculus for reactive prog..:

Bahr, Patrick ; Graulund, Christian Uldal ; Møgelberg, Rasmus Ejlers
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-27 , 2019

Link: https://doi.org/10.1145/..

6

Simply RaTT: a fitch-style modal calculus for reactive prog..:

Bahr, Patrick ; Graulund, Christian Uldal ; Møgelberg, Rasmus Ejlers
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-27 , 2019

Link: https://dl.acm.org/doi/1..

7

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

Bahr, Patrick ; Graulund, Christian ; Møgelberg, Rasmus
http://arxiv.org/abs/1903.05879. , 2019

Link: http://arxiv.org/abs/190..

8

Type Theories for Reactive Programming:

Graulund, Christian Uldal
Graulund , C U 2021 , Type Theories for Reactive Programming . ITU-DS , no. 175 , IT-Universitetet i København .. , 2021

Link: https://pure.itu.dk/port..

9

Adjoint Reactive GUI Programming:

Graulund, Christian Uldal ; Szamozvancev, Dmitrij ; Krishnaswami, Neel
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984123/. , 2021

Link: http://www.ncbi.nlm.nih...

10

Diamonds are not forever: Liveness in reactive programming ..:

Bahr, Patrick ; Graulund, Christian Uldal ; Møgelberg, Rasmus Ejlers
Bahr , P , Graulund , C U & Møgelberg , R E 2021 , Diamonds are not forever: Liveness in reactive programming with guarded recursion . in ACM SIGPLAN Symposium on Principles of Programming Languages . POPL edn , vol. 5 , Association for Computing Machinery , Proceedings of the ACM on Programming Languages . https://doi.org/10.1145/3434283. , 2021

Link: https://pure.itu.dk/port..

11

Diamonds are not forever: Liveness in reactive programming ..:

Bahr, Patrick ; Graulund, Christian Uldal ; Møgelberg, Rasmus
http://arxiv.org/abs/2003.03170. , 2020

Link: http://arxiv.org/abs/200..

12

Adjoint Reactive GUI:

Graulund, Christian Uldal ; Szamozvancev, Dmitrij ; Krishnaswami, Neel
http://arxiv.org/abs/2010.12338. , 2020

Link: http://arxiv.org/abs/201..

13

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

Bahr, Patrick ; Graulund, Christian Uldal ; Møgelberg, Rasmus Ejlers
Bahr , P , Graulund , C U & Møgelberg , R E 2019 , Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming . in Proceedings of the ACM on Programming Languages . IFCP edn , vol. 3 , 109 , Association for Computing Machinery . https://doi.org/10.1145/3341713. , 2019

Link: https://pure.itu.dk/port..