%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 }