Categorical semantics for functional reactive programming with temporal recursion and corecursion
author
Jeltsch, Wolfgang
statement of authorship
Wolfgang Jeltsch
source
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
location of publication
[S.l.]
publisher
Open Publishing Association
year of publication
2014
pages
p. 127-142 : ill
series
Electronic proceedings in theoretical computer science ; 153
conference name, date
5th Workshop on Mathematically Structured Functional Programming (MSFP 2014), 12 April 2014
conference location
Grenoble, France
url
https://doi.org/10.4204/EPTCS.153.9
subject term
programmeerimine
struktuurprogrammeerimine
matemaatilised mudelid
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-84938791864&origin=inward&txGid=a2de1b46b65098688b0d7bd8402def84
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
ISSN
2075-2180
notes
Bibliogr.: 12 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
TTÜ Küberneetika Instituut
language
inglise