Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications-Reference-Cited by-同舟云学术

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

Published:2020-09-08 Issue: Volume: Page:
ISSN:
Container-title:22nd International Symposium on Principles and Practice of Declarative Programming
language:
Short-container-title:

Author:

Sarkar Abhiroop¹,Sheeran Mary¹

Affiliation:

1. Chalmers University, Sweden

Publisher

ACM

Reference66 articles.

1. The ins and outs of Clean I/O

2. Moussa Amrani Fabian Gilson Abdelmounaim Debieche and Vincent Englebert. 2017. Towards User-centric DSLs to Manage IoT Systems.. In MODELSWARD. 569–576. Moussa Amrani Fabian Gilson Abdelmounaim Debieche and Vincent Englebert. 2017. Towards User-centric DSLs to Manage IoT Systems.. In MODELSWARD. 569–576.

3. Edward Amsden. 2011. A survey of functional reactive programming. Rochester Institute of Technology(2011). Edward Amsden. 2011. A survey of functional reactive programming. Rochester Institute of Technology(2011).

4. The development of Erlang

5. Hendrik Pieter Barendregt. 1985. The lambda calculus - its syntax and semantics. Studies in logic and the foundations of mathematics Vol. 103. North-Holland. Hendrik Pieter Barendregt. 1985. The lambda calculus - its syntax and semantics. Studies in logic and the foundations of mathematics Vol. 103. North-Holland.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs;Proceedings of the 16th ACM SIGPLAN International Haskell Symposium;2023-08-30

2. Could Tierless Languages Reduce IoT Development Grief?;ACM Transactions on Internet of Things;2023-02-23

3. Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems;Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2022-11-29

4. KCL: A Declarative Language for Large-Scale Configuration and Policy Management;Dependable Software Engineering. Theories, Tools, and Applications;2022

5. Trampoline variables: a general method for state accumulation in reactive programming;Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2021-10-17