Subject
General Computer Science,Theoretical Computer Science
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synchronous Programming with Refinement Types;Proceedings of the ACM on Programming Languages;2024-08-15
2. The Essence of Reactivity;Proceedings of the 16th ACM SIGPLAN International Haskell Symposium;2023-08-30
3. JAX based parallel inference for reactive probabilistic programming;Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2022-06-14
4. The essence of live coding: change the program, keep the state!;Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2020-11-15
5. Mechanized semantics and verified compilation for a dataflow synchronous language with reset;Proceedings of the ACM on Programming Languages;2020-01