Abstract: The growing need for programming and computational skills has led to a demand for teaching approaches that can appeal to a broader audience. We explore the design and creation of tangible ...
Abstract: We propose a type-driven approach to building verified safe and correct IoT applications. Today's IoT applications are plagued with bugs that can cause physical damage. This is largely ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results