Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/sfp/2011,
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32037-8},
  doi          = {10.1007/978-3-642-32037-8},
  isbn         = {978-3-642-32036-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/BertholdFHLSV11,
  author       = {Jost Berthold and
                  Andrzej Filinski and
                  Fritz Henglein and
                  Ken Friis Larsen and
                  Mogens Steffensen and
                  Brian Vinter},
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {Functional High Performance Financial {IT}},
  booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  pages        = {98--113},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32037-8\_7},
  doi          = {10.1007/978-3-642-32037-8\_7},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/BertholdFHLSV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Brady11,
  author       = {Edwin C. Brady},
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {Epic - {A} Library for Generating Compilers},
  booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  pages        = {33--48},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32037-8\_3},
  doi          = {10.1007/978-3-642-32037-8\_3},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Brady11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/BrownLH11,
  author       = {Christopher Brown and
                  Hans{-}Wolfgang Loidl and
                  Kevin Hammond},
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring
                  Techniques},
  booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  pages        = {82--97},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32037-8\_6},
  doi          = {10.1007/978-3-642-32037-8\_6},
  timestamp    = {Wed, 28 Mar 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/BrownLH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/DayH11,
  author       = {Laurence E. Day and
                  Graham Hutton},
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {Towards Modular Compilers for Effects},
  booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  pages        = {49--64},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32037-8\_4},
  doi          = {10.1007/978-3-642-32037-8\_4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/DayH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/DelbiancoJP11,
  author       = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
                  Mauro Jaskelioff and
                  Alberto Pardo},
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {Applicative Shortcut Fusion},
  booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  pages        = {179--194},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32037-8\_12},
  doi          = {10.1007/978-3-642-32037-8\_12},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/DelbiancoJP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/FilliatreK11,
  author       = {Jean{-}Christophe Filli{\^{a}}tre and
                  K. Kalyanasundaram},
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {Functory: {A} Distributed Computing Library for Objective Caml},
  booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  pages        = {65--81},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32037-8\_5},
  doi          = {10.1007/978-3-642-32037-8\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/FilliatreK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/HenrixPA11,
  author       = {Jeroen Henrix and
                  Rinus Plasmeijer and
                  Peter Achten},
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {GiN: {A} Graphical Language and Tool for Defining iTask Workflows},
  booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  pages        = {163--178},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32037-8\_11},
  doi          = {10.1007/978-3-642-32037-8\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/HenrixPA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Komendantsky11,
  author       = {Vladimir Komendantsky},
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {Subtyping by Folding an Inductive Relation into a Coinductive One},
  booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32037-8\_2},
  doi          = {10.1007/978-3-642-32037-8\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Komendantsky11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Lesniak11,
  author       = {Michael Lesniak},
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {Thread-Safe Priority Queues in Haskell Based on Skiplists},
  booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  pages        = {114--129},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32037-8\_8},
  doi          = {10.1007/978-3-642-32037-8\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Lesniak11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Morazan11,
  author       = {Marco T. Moraz{\'{a}}n},
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {Functional Video Games in {CS1} {II}},
  booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  pages        = {146--162},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32037-8\_10},
  doi          = {10.1007/978-3-642-32037-8\_10},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/Morazan11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Schilling11,
  author       = {Thomas Schilling},
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {Constraint-Free Type Error Slicing},
  booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32037-8\_1},
  doi          = {10.1007/978-3-642-32037-8\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Schilling11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Straka11,
  author       = {Milan Straka},
  editor       = {Ricardo Pe{\~{n}}a and
                  Rex L. Page},
  title        = {Adams' Trees Revisited},
  booktitle    = {Trends in Functional Programming, 12th International Symposium, {TFP}
                  2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7193},
  pages        = {130--145},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32037-8\_9},
  doi          = {10.1007/978-3-642-32037-8\_9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Straka11.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.