Robert Krook
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2020–2024
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | HASKELL | Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs. | Robert Krook, Samuel Hammersberg |
| 2023 | HASKELL | HasTEE: Programming Trusted Execution Environments with Haskell. | Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen |
| 2022 | MEMOCODE | Creating a Language for Writing Real-Time Applications for the Internet of Things. | Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen |
| 2020 | HASKELL | Towards secure IoT programming in Haskell. | Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen |