Robert Krook

According to our database¹, Robert Krook authored at least 4 papers between 2020 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

HasTEE: Programming Trusted Execution Environments with Haskell.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

2022

Creating a Language for Writing Real-Time Applications for the Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

2021

Higher-order concurrency for microcontrollers.

[BibT_eX]

[DOI]

Proceedings of the MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2021

2020

Towards secure IoT programming in Haskell.

[BibT_eX]

[DOI]

Nachiappan Valliappan

Robert Krook

Alejandro Russo

Koen Claessen

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

Robert Krook

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...