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

Abhiroop Sarkar Mary Sheeran

Published in: PPDP (2020)

Keyphrases

functional language
functional programming
programming language
management system
proof planning
cloud computing
big data
execution model
object identity
object oriented
data management
database management systems
complex objects