Search dblp for Publications

export results for "toc:db/conf/sfp/tfp2020.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sfp/BereczkyHT20,
  author       = {P{\'{e}}ter Bereczky and
                  D{\'{a}}niel Horp{\'{a}}csi and
                  Simon J. Thompson},
  editor       = {Aleksander Byrski and
                  John Hughes},
  title        = {A Proof Assistant Based Formalisation of a Subset of Sequential Core
                  Erlang},
  booktitle    = {Trends in Functional Programming - 21st International Symposium, {TFP}
                  2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12222},
  pages        = {139--158},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57761-2\_7},
  doi          = {10.1007/978-3-030-57761-2\_7},
  timestamp    = {Wed, 02 Mar 2022 21:39:36 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/BereczkyHT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Janin20,
  author       = {David Janin},
  editor       = {Aleksander Byrski and
                  John Hughes},
  title        = {An Equational Modeling of Asynchronous Concurrent Programming},
  booktitle    = {Trends in Functional Programming - 21st International Symposium, {TFP}
                  2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12222},
  pages        = {180--203},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57761-2\_9},
  doi          = {10.1007/978-3-030-57761-2\_9},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Janin20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/KantHC0CCDDGJSV20,
  author       = {Philipp Kant and
                  Kevin Hammond and
                  Duncan Coutts and
                  James Chapman and
                  Nicholas Clarke and
                  Jared Corduan and
                  Neil J. Davies and
                  Javier D{\'{\i}}az and
                  Matthias G{\"{u}}demann and
                  Wolfgang Jeltsch and
                  Marcin Szamotulski and
                  Polina Vinogradova},
  editor       = {Aleksander Byrski and
                  John Hughes},
  title        = {Flexible Formality Practical Experience with Agile Formal Methods},
  booktitle    = {Trends in Functional Programming - 21st International Symposium, {TFP}
                  2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12222},
  pages        = {94--120},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57761-2\_5},
  doi          = {10.1007/978-3-030-57761-2\_5},
  timestamp    = {Wed, 30 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/KantHC0CCDDGJSV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/KawaharaK20,
  author       = {Satoru Kawahara and
                  Yukiyoshi Kameyama},
  editor       = {Aleksander Byrski and
                  John Hughes},
  title        = {One-Shot Algebraic Effects as Coroutines},
  booktitle    = {Trends in Functional Programming - 21st International Symposium, {TFP}
                  2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12222},
  pages        = {159--179},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57761-2\_8},
  doi          = {10.1007/978-3-030-57761-2\_8},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/KawaharaK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/MistaR20,
  author       = {Agust{\'{\i}}n Mista and
                  Alejandro Russo},
  editor       = {Aleksander Byrski and
                  John Hughes},
  title        = {BinderAnn: Automated Reification of Source Annotations for Monadic
                  EDSLs},
  booktitle    = {Trends in Functional Programming - 21st International Symposium, {TFP}
                  2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12222},
  pages        = {25--46},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57761-2\_2},
  doi          = {10.1007/978-3-030-57761-2\_2},
  timestamp    = {Sat, 19 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/MistaR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/NausS20,
  author       = {Nico Naus and
                  Tim Steenvoorden},
  editor       = {Aleksander Byrski and
                  John Hughes},
  title        = {Generating Next Step Hints for Task Oriented Programs Using Symbolic
                  Execution},
  booktitle    = {Trends in Functional Programming - 21st International Symposium, {TFP}
                  2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12222},
  pages        = {47--68},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57761-2\_3},
  doi          = {10.1007/978-3-030-57761-2\_3},
  timestamp    = {Wed, 21 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/NausS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/PenaS20,
  author       = {Ricardo Pe{\~{n}}a and
                  Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  editor       = {Aleksander Byrski and
                  John Hughes},
  title        = {White-Box Path Generation in Recursive Programs},
  booktitle    = {Trends in Functional Programming - 21st International Symposium, {TFP}
                  2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12222},
  pages        = {121--135},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57761-2\_6},
  doi          = {10.1007/978-3-030-57761-2\_6},
  timestamp    = {Sat, 19 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/PenaS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/PietersS20,
  author       = {Ruben P. Pieters and
                  Tom Schrijvers},
  editor       = {Aleksander Byrski and
                  John Hughes},
  title        = {PaSe: An Extensible and Inspectable {DSL} for Micro-Animations},
  booktitle    = {Trends in Functional Programming - 21st International Symposium, {TFP}
                  2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12222},
  pages        = {3--24},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57761-2\_1},
  doi          = {10.1007/978-3-030-57761-2\_1},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/PietersS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Schiller20,
  author       = {Lukas Immanuel Schiller},
  editor       = {Aleksander Byrski and
                  John Hughes},
  title        = {Placement Strategies: Structured Skeleton Composition with Location-Aware
                  Remote Data},
  booktitle    = {Trends in Functional Programming - 21st International Symposium, {TFP}
                  2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12222},
  pages        = {229--248},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57761-2\_11},
  doi          = {10.1007/978-3-030-57761-2\_11},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Schiller20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/SeynaevePS20,
  author       = {Willem Seynaeve and
                  Koen Pauwels and
                  Tom Schrijvers},
  editor       = {Aleksander Byrski and
                  John Hughes},
  title        = {State Will do},
  booktitle    = {Trends in Functional Programming - 21st International Symposium, {TFP}
                  2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12222},
  pages        = {204--225},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57761-2\_10},
  doi          = {10.1007/978-3-030-57761-2\_10},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/SeynaevePS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/SharradC20,
  author       = {Joanna Sharrad and
                  Olaf Chitil},
  editor       = {Aleksander Byrski and
                  John Hughes},
  title        = {Scaling Up Delta Debugging of Type Errors - Category: Research},
  booktitle    = {Trends in Functional Programming - 21st International Symposium, {TFP}
                  2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12222},
  pages        = {71--93},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57761-2\_4},
  doi          = {10.1007/978-3-030-57761-2\_4},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/SharradC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sfp/2020,
  editor       = {Aleksander Byrski and
                  John Hughes},
  title        = {Trends in Functional Programming - 21st International Symposium, {TFP}
                  2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12222},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57761-2},
  doi          = {10.1007/978-3-030-57761-2},
  isbn         = {978-3-030-57760-5},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.