Functional reactive programming with liveness guarantees

DOI10.1145/2500365.2500584zbMath1323.68125OpenAlexW2008307801MaRDI QIDQ5244803

Alan Jeffrey

Publication date: 30 March 2015

Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2500365.2500584

zbMATH Keywords

livenessconcurrencyfunctional reactive programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: Functional reactive programming with liveness guarantees