Robert Krook

Doktorand vid Funktionell programmering

Källa: chalmers.se

Kontaktuppgifter

Publikationer (6)
Projekt (0)

Visar 6 publikationer

2023

HasTEE - Programming Trusted Execution Environments with Haskell

Abhiroop Sarkar, Robert Krook, Alejandro Russo et al

Haskell 2023 - Proceedings of the 16th ACM SIGPLAN International Symposium on Haskell, Co-located with ICFP 2023, p. 72-88

Paper i proceeding

Visa projekt

2023

High-level Programming on Low-level Platforms: Two Domain-specific Languages based on Haskell

Robert Krook

Licentiatavhandling

Visa projekt

2022

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

Robert Krook, John Hui, Joel Svensson et al

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

Paper i proceeding

Visa projekt

2021

Higher-Order Concurrency for Microcontrollers

Abhiroop Sarkar, Robert Krook, Joel Svensson et al

MPLR 2021 - Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, p. 26-36

Paper i proceeding

Visa projekt

2020

Towards Secure IoT Programming in Haskell

Nachiappan Valliappan, Robert Krook, Alejandro Russo et al

Haskell 2020 - Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2020, p. 136-150

Paper i proceeding

Visa projekt

2019

An Algebra of Sequential Decision Problems

Robert Krook, Patrik Jansson

Övrigt konferensbidrag

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Robert Krook medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.