Search dblp for Publications

export results for "toc:db/conf/cefp/cefp2015.bht:"

 download as .bib file

@proceedings{DBLP:conf/cefp/2015,
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Central European Functional Programming School - 6th Summer School,
                  {CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10094},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-28346-9},
  doi          = {10.1007/978-3-030-28346-9},
  isbn         = {978-3-030-28345-2},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cefp/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Cukic15,
  author       = {Ivan Cukic},
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Functional Reactive Programming in {C++}},
  booktitle    = {Central European Functional Programming School - 6th Summer School,
                  {CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10094},
  pages        = {42--74},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-030-28346-9\_2},
  doi          = {10.1007/978-3-030-28346-9\_2},
  timestamp    = {Mon, 03 Jan 2022 22:17:59 +0100},
  biburl       = {https://dblp.org/rec/conf/cefp/Cukic15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/FernandesCSP15,
  author       = {Jo{\~{a}}o Paulo Fernandes and
                  J{\'{a}}come Cunha and
                  Jo{\~{a}}o Saraiva and
                  Alberto Pardo},
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Watch Out for that Tree! {A} Tutorial on Shortcut Deforestation},
  booktitle    = {Central European Functional Programming School - 6th Summer School,
                  {CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10094},
  pages        = {1--41},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-030-28346-9\_1},
  doi          = {10.1007/978-3-030-28346-9\_1},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/FernandesCSP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/GraniczD15,
  author       = {Adam Granicz and
                  Lo{\"{\i}}c Denuzi{\`{e}}re},
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Functional, Reactive Web Programming in F{\#}},
  booktitle    = {Central European Functional Programming School - 6th Summer School,
                  {CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10094},
  pages        = {137--160},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-030-28346-9\_5},
  doi          = {10.1007/978-3-030-28346-9\_5},
  timestamp    = {Thu, 15 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/GraniczD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Grelck15,
  author       = {Clemens Grelck},
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Single Assignment {C} {(SAC)} - The Compilation Technology Perspective},
  booktitle    = {Central European Functional Programming School - 6th Summer School,
                  {CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10094},
  pages        = {207--282},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-030-28346-9\_7},
  doi          = {10.1007/978-3-030-28346-9\_7},
  timestamp    = {Wed, 14 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/Grelck15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Grimm15,
  author       = {Rainer Grimm},
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Programming in a Functional Style in {C++}},
  booktitle    = {Central European Functional Programming School - 6th Summer School,
                  {CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10094},
  pages        = {111--136},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-030-28346-9\_4},
  doi          = {10.1007/978-3-030-28346-9\_4},
  timestamp    = {Wed, 14 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/Grimm15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/KoopmanP15,
  author       = {Pieter W. M. Koopman and
                  Rinus Plasmeijer},
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Type-Safe Functions and Tasks in a Shallow Embedded {DSL} for Microprocessors},
  booktitle    = {Central European Functional Programming School - 6th Summer School,
                  {CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10094},
  pages        = {283--340},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-030-28346-9\_8},
  doi          = {10.1007/978-3-030-28346-9\_8},
  timestamp    = {Wed, 25 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/KoopmanP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Korecko15,
  author       = {Stefan Korecko},
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Functional Languages in Design of Coloured Petri Nets Models},
  booktitle    = {Central European Functional Programming School - 6th Summer School,
                  {CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10094},
  pages        = {161--206},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-030-28346-9\_6},
  doi          = {10.1007/978-3-030-28346-9\_6},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/Korecko15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/OlahNP15,
  author       = {G{\'{a}}bor Ol{\'{a}}h and
                  Gergely Nagy and
                  Zolt{\'{a}}n Porkol{\'{a}}b},
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Analyzing Scale-Free Properties in Erlang and Scala},
  booktitle    = {Central European Functional Programming School - 6th Summer School,
                  {CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10094},
  pages        = {380--393},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-030-28346-9\_10},
  doi          = {10.1007/978-3-030-28346-9\_10},
  timestamp    = {Wed, 14 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/OlahNP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Porkolab15,
  author       = {Zolt{\'{a}}n Porkol{\'{a}}b},
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Immutables in {C++:} Language Foundation for Functional Programming},
  booktitle    = {Central European Functional Programming School - 6th Summer School,
                  {CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10094},
  pages        = {75--110},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-030-28346-9\_3},
  doi          = {10.1007/978-3-030-28346-9\_3},
  timestamp    = {Wed, 14 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/Porkolab15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/StutterheimAP15,
  author       = {Jurri{\"{e}}n Stutterheim and
                  Peter Achten and
                  Rinus Plasmeijer},
  editor       = {Vikt{\'{o}}ria Zs{\'{o}}k and
                  Zolt{\'{a}}n Porkol{\'{a}}b and
                  Zolt{\'{a}}n Horv{\'{a}}th},
  title        = {Static and Dynamic Visualisations of Monadic Programs},
  booktitle    = {Central European Functional Programming School - 6th Summer School,
                  {CEFP} 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10094},
  pages        = {341--379},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-030-28346-9\_9},
  doi          = {10.1007/978-3-030-28346-9\_9},
  timestamp    = {Wed, 14 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cefp/StutterheimAP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}