14 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.PL2021
Higher-Order Concurrency for Microcontrollers
Abhiroop Sarkar, Robert Krook, Bo Joel Svensson +1
Programming microcontrollers involves low-level interfacing with hardware and peripherals that are concurrent and reactive. Such programs are typically written in a mixture of C an…
cs.PL2021★ 14 cited
Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications
Abhiroop Sarkar, Mary Sheeran
With the growing ubiquity of Internet of Things(IoT), more complex logic is being programmed on resource-constrained IoT devices, almost exclusively using the C programming languag…