Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen. Towards secure IoT programming in Haskell. In Tom Schrijvers, editor, Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020. pages 136-150, ACM, 2020. [doi]
Abstract is missing.