Safe functional reactive programming through dependent types
Publication:2936799
DOI10.1145/1596550.1596558zbMath1302.68070OpenAlexW2105153579MaRDI QIDQ2936799
Henrik Nilsson, Neil Sculthorpe
Publication date: 6 January 2015
Published in: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: http://irep.ntu.ac.uk/id/eprint/29355/1/PS29355_Sculthorpe.pdf
domain-specific languagesfunctional programmingdependent typesreactive programmingFRPsynchronous data-flowDSELS
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)
Related Items (4)
Uses Software
This page was built for publication: Safe functional reactive programming through dependent types