Koen Claessen
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- Haskell2 editions2020–2023
on a stage with
all 11 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… | ||
| The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmi... | ICFP 2023 | 2023-09-04 |
A new core calculus (VC) gives a small-step rewrite semantics for a deterministic functional logic language and implements unification and logical variables as… | ||
| 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… | ||
| Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl) | Haskell 2020 | 2020-08-27 |
Stepwise refinement shows why Hinze and Paterson’s Finger Tree needs one-or-three-element buffers and nodes of two-or-three values, claims a simplified… | ||
| nothing matches | ||