Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications.

Abhiroop Sarkar, Mary Sheeran

Browse the full PPDP paper archive.