Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/sfp/2017,
  editor       = {Meng Wang and
                  Scott Owens},
  title        = {Trends in Functional Programming - 18th International Symposium, {TFP}
                  2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10788},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89719-6},
  doi          = {10.1007/978-3-319-89719-6},
  isbn         = {978-3-319-89718-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/AbrahamssonM17,
  author       = {Oskar Abrahamsson and
                  Magnus O. Myreen},
  editor       = {Meng Wang and
                  Scott Owens},
  title        = {Automatically Introducing Tail Recursion in CakeML},
  booktitle    = {Trends in Functional Programming - 18th International Symposium, {TFP}
                  2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10788},
  pages        = {118--134},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-89719-6\_7},
  doi          = {10.1007/978-3-319-89719-6\_7},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/AbrahamssonM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/DolanEHMSW17,
  author       = {Stephen Dolan and
                  Spiros Eliopoulos and
                  Daniel Hillerstr{\"{o}}m and
                  Anil Madhavapeddy and
                  K. C. Sivaramakrishnan and
                  Leo White},
  editor       = {Meng Wang and
                  Scott Owens},
  title        = {Concurrent System Programming with Effect Handlers},
  booktitle    = {Trends in Functional Programming - 18th International Symposium, {TFP}
                  2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10788},
  pages        = {98--117},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-89719-6\_6},
  doi          = {10.1007/978-3-319-89719-6\_6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/DolanEHMSW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/HjortHP17,
  author       = {Rikard Hjort and
                  Jakob Holmgren and
                  Christian Persson},
  editor       = {Meng Wang and
                  Scott Owens},
  title        = {The CakeML Compiler Explorer - Tracking Intermediate Representations
                  in a Verified Compiler},
  booktitle    = {Trends in Functional Programming - 18th International Symposium, {TFP}
                  2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10788},
  pages        = {135--148},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-89719-6\_8},
  doi          = {10.1007/978-3-319-89719-6\_8},
  timestamp    = {Sat, 05 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/HjortHP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/HoremansRDP17,
  author       = {Jeff Horemans and
                  Bob Reynders and
                  Dominique Devriese and
                  Frank Piessens},
  editor       = {Meng Wang and
                  Scott Owens},
  title        = {Elmsvuur: {A} Multi-tier Version of Elm and its Time-Traveling Debugger},
  booktitle    = {Trends in Functional Programming - 18th International Symposium, {TFP}
                  2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10788},
  pages        = {79--97},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-89719-6\_5},
  doi          = {10.1007/978-3-319-89719-6\_5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/HoremansRDP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/LozovVB17,
  author       = {Petr Lozov and
                  Andrei Vyatkin and
                  Dmitry Boulytchev},
  editor       = {Meng Wang and
                  Scott Owens},
  title        = {Typed Relational Conversion},
  booktitle    = {Trends in Functional Programming - 18th International Symposium, {TFP}
                  2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10788},
  pages        = {39--58},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-89719-6\_3},
  doi          = {10.1007/978-3-319-89719-6\_3},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/LozovVB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Midtgaard17,
  author       = {Jan Midtgaard},
  editor       = {Meng Wang and
                  Scott Owens},
  title        = {QuickChecking Patricia Trees},
  booktitle    = {Trends in Functional Programming - 18th International Symposium, {TFP}
                  2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10788},
  pages        = {59--78},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-89719-6\_4},
  doi          = {10.1007/978-3-319-89719-6\_4},
  timestamp    = {Sat, 05 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Midtgaard17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/MorazanROD17,
  author       = {Marco T. Moraz{\'{a}}n and
                  Lindsey M. Reams and
                  Nicholas R. Olson and
                  Shamil Dzhatdoyev},
  editor       = {Meng Wang and
                  Scott Owens},
  title        = {Memoized Flat Closures for {CPS} - or Taming Memory Allocation for
                  {\textbackslash}lambda {\(\lambda\)} in {CPS}},
  booktitle    = {Trends in Functional Programming - 18th International Symposium, {TFP}
                  2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10788},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-89719-6\_1},
  doi          = {10.1007/978-3-319-89719-6\_1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/MorazanROD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/StutterheimAP17,
  author       = {Jurri{\"{e}}n Stutterheim and
                  Peter Achten and
                  Rinus Plasmeijer},
  editor       = {Meng Wang and
                  Scott Owens},
  title        = {Maintaining Separation of Concerns Through Task Oriented Software
                  Development},
  booktitle    = {Trends in Functional Programming - 18th International Symposium, {TFP}
                  2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10788},
  pages        = {19--38},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-89719-6\_2},
  doi          = {10.1007/978-3-319-89719-6\_2},
  timestamp    = {Thu, 19 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/StutterheimAP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.