-Publisher: Association for Computing Machinery
-in-press},
- keywords = {access control, internet-of-things, policy language, privilege escalation, Smart home system},
+Publisher: Association for Computing Machinery},
+ keywords = {access control, internet-of-things, IoT stacks, policy language, privilege escalation, Smart home system, Tierless languages},
+}
+
+@inproceedings{koopman_strongly-typed_2022,
+ address = {New York, NY, USA},
+ series = {{IFL} '22},
+ title = {Strongly-{Typed} {Multi}-{View} {Stack}-{Based} {Computations}},
+ booktitle = {Proceedings of the 34st {Symposium} on {Implementation} and {Application} of {Functional} {Languages}},
+ publisher = {Association for Computing Machinery},
+ author = {Koopman, Pieter and Lubbers, Mart},
+ year = {2022},
+ note = {event-place: Kopenhagen, Denmark. under-review},
+ keywords = {clean, distributed applications, functional programming, internet of things, task oriented programming},