Abhiroop Sarkar, Mary Sheeran. Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications. In PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020. ACM, 2020. [doi]
Abstract is missing.