Categorical semantics for functional reactive programming with temporal recursion and corecursion
Jeltsch, Wolfgang
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
2014
/
p. 127-142 : ill
https://doi.org/10.4204/EPTCS.153.9
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-84938791864&origin=inward&txGid=a2de1b46b65098688b0d7bd8402def84