East of Eden: Parallel Functional Programming in Idris

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - 9 Jun 2025
Event	High-Level Parallel Programming and Applications - Austria Duration: 3 Jul 2025 → … https://hlpp-conference.github.io/hlpp-2025/

Conference	High-Level Parallel Programming and Applications
Abbreviated title	HLPP
Period	3/07/25 → …
Internet address	https://hlpp-conference.github.io/hlpp-2025/

Keywords

@conference{70a0b73e3ab34d239df3b6b23c20be44,

title = "East of Eden: Parallel Functional Programming in Idris",

keywords = "idris, parallelism, dependent types, concurrency, skeletons, implicit, explicit, processes",

author = "Brown, {Christopher Mark} and Barwell, {Adam David}",

year = "2025",

month = jun,

day = "9",

language = "English",

note = "High-Level Parallel Programming and Applications, HLPP ; Conference date: 03-07-2025",

url = "https://hlpp-conference.github.io/hlpp-2025/",

}