Follow
Robert Krook
Title
Cited by
Cited by
Year
Towards secure IoT programming in Haskell
N Valliappan, R Krook, A Russo, K Claessen
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 136-150, 2020
102020
Creating a Language for Writing Real-Time Applications for the Internet of Things
R Krook, J Hui, BJ Svensson, SA Edwards, K Claessen
2022 20th ACM-IEEE International Conference on Formal Methods and Models for …, 2022
42022
Higher-order concurrency for microcontrollers
A Sarkar, R Krook, BJ Svensson, M Sheeran
Proceedings of the 18th ACM SIGPLAN International Conference on Managed …, 2021
32021
HasTEE: Programming Trusted Execution Environments with Haskell
A Sarkar, R Krook, A Russo, K Claessen
Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 72-88, 2023
22023
High-Level Programming on Low-Level Platforms: Two Domain-Specific Languages Based on Haskell
R Krook
PQDT-Global, 2023
2023
Region-based Memory Management and Actor Model Concurrency An initial study of how the combination performs
R Krook
2020
An Algebra of Sequential Decision Problems
R Krook, P Jansson
Technical Report. Computer Science and Engineering, Chalmers University of …, 2019
2019
Evaluering och utveckling av bildbaserade positioneringssystem för självkörande skalade fordon
A Branzell, C Hjerpe, E Almblad, H Aziz, M Eriksson, R Krook
The system can't perform the operation now. Try again later.
Articles 1–8