default search action

combined dblp search
author search
venue search
publication search

ask others

Robert Krook

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/KrookH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/KrookH24
Robert Krook, Samuel Hammersberg:
Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs. Haskell 2024: 27-40
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-16062
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-16062
Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen:
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. CoRR abs/2404.16062 (2024)
2023
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/SarkarKRC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/SarkarKRC23
Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen:
HasTEE: Programming Trusted Execution Environments with Haskell. Haskell 2023: 72-88
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/KrookSSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/KrookSSC23
Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen:
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. IFL 2023: 9:1-9:12
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-13172
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-13172
Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen:
HasTEE: Programming Trusted Execution Environments with Haskell. CoRR abs/2307.13172 (2023)
2022
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/KrookHSEC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/KrookHSEC22
Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen:
Creating a Language for Writing Real-Time Applications for the Internet of Things. MEMOCODE 2022: 1-20
2021
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/SarkarKSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/SarkarKSS21
Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran:
Higher-order concurrency for microcontrollers. MPLR 2021: 26-35
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-07805
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-07805
Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran:
Higher-Order Concurrency for Microcontrollers. CoRR abs/2108.07805 (2021)
2020
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/ValliappanKRC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/ValliappanKRC20
Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen:
Towards secure IoT programming in Haskell. Haskell@ICFP 2020: 136-150

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.