Inproceedings,
Synthesizing functional reactive programs.
B. Finkbeiner, F. Klein, R. Piskac, and M. Santolucito.Haskell@ICFP, page 162-175. ACM, (2019)
Meta data
- BibTeX key
- conf/haskell/Finkbeiner0PS19
- entry type
- inproceedings
- booktitle
- Haskell@ICFP
- year
- 2019
- pages
- 162-175
- publisher
- ACM
- crossref
- conf/haskell/2019
- ee
- https://doi.org/10.1145/3331545.3342601
- isbn
- 978-1-4503-6813-1
- url
- http://dblp.uni-trier.de/db/conf/haskell/haskell2019.html#Finkbeiner0PS19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/haskell/Finkbeiner0PS19
%A Finkbeiner, Bernd
%A Klein, Felix
%A Piskac, Ruzica
%A Santolucito, Mark
%B Haskell@ICFP
%D 2019
%E Eisenberg, Richard A.
%I ACM
%K dblp
%P 162-175
%T Synthesizing functional reactive programs.
%U http://dblp.uni-trier.de/db/conf/haskell/haskell2019.html#Finkbeiner0PS19
%@ 978-1-4503-6813-1
@inproceedings{conf/haskell/Finkbeiner0PS19,
added-at = {2022-06-23T00:00:00.000+0200},
author = {Finkbeiner, Bernd and Klein, Felix and Piskac, Ruzica and Santolucito, Mark},
biburl = {https://www.bibsonomy.org/bibtex/265b1c561ac6894382022ff01aa0ab5d5/dblp},
booktitle = {Haskell@ICFP},
crossref = {conf/haskell/2019},
editor = {Eisenberg, Richard A.},
ee = {https://doi.org/10.1145/3331545.3342601},
interhash = {b9f0169869de4ea6896622022d3699ce},
intrahash = {65b1c561ac6894382022ff01aa0ab5d5},
isbn = {978-1-4503-6813-1},
keywords = {dblp},
pages = {162-175},
publisher = {ACM},
timestamp = {2024-04-10T01:08:07.000+0200},
title = {Synthesizing functional reactive programs.},
url = {http://dblp.uni-trier.de/db/conf/haskell/haskell2019.html#Finkbeiner0PS19},
year = 2019
}