Robert Krook
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- Haskell2 editions2020–2023
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| HasTEE: Programming Trusted Execution Environments with Haskell | Haskell 2023 | 2023-09-08 |
A Haskell DSL called HasTEE embeds enclave, app and client monads, provides a GHC runtime port for Intel SGX and partitions a single Haskell program by… | ||
| Towards Secure IoT Programming in Haskell | Haskell 2020 | 2020-08-27 |
Haski is an embedded DSL in Haskell that generates C for Zephyr OS, claiming to let developers write Lustre-style synchronous stream programs in Haskell and… | ||
| An Algebra of Sequential Decision Problems | TyDe 2019 | 2019-08-18 |
Formalises sequential decision processes in Agda and implements reusable composition primitives, claims small three combinators let one-dimensional step… | ||
| nothing matches | ||