Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/sfp/2006,
  editor       = {Henrik Nilsson},
  title        = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  publisher    = {Intellect},
  year         = {2007},
  isbn         = {978-1-84150-188-8},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/ChristiansenH06,
  author       = {Jan Christiansen and
                  Frank Huch},
  editor       = {Henrik Nilsson},
  title        = {A purely functional implementation of ROBDDs in Haskell},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {55--71},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Thu, 25 Oct 2007 12:11:04 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/ChristiansenH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Fischer06,
  author       = {Sebastian Fischer},
  editor       = {Henrik Nilsson},
  title        = {Resource-based Web applications},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {181--197},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/Fischer06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Grabmuller06,
  author       = {Martin Grabm{\"{u}}ller},
  editor       = {Henrik Nilsson},
  title        = {A model of functional programming with dynamic compilation and optimization},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {145--161},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Grabmuller06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/HanaiUYYY06,
  author       = {Ryo Hanai and
                  Tomoharu Ugawa and
                  Masashi Yoneda and
                  Masahiro Yasugi and
                  Taiichi Yuasa},
  editor       = {Henrik Nilsson},
  title        = {Memory usage improvement using runtime alias detection},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {129--144},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/HanaiUYYY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/JansenKP06,
  author       = {Jan Martin Jansen and
                  Pieter W. M. Koopman and
                  Rinus Plasmeijer},
  editor       = {Henrik Nilsson},
  title        = {Efficient interpretation by transforming data types and patterns to
                  functions},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {73--90},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/JansenKP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/KoopmanP06,
  author       = {Pieter W. M. Koopman and
                  Rinus Plasmeijer},
  editor       = {Henrik Nilsson},
  title        = {Systematic synthesis of functions},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {35--54},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/KoopmanP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/LuoC06,
  author       = {Yong Luo and
                  Olaf Chitil},
  editor       = {Henrik Nilsson},
  title        = {Proving the correctness of algorithmic debugging for functional programs},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {19--34},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/LuoC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/MoninC06,
  author       = {Jean{-}Fran{\c{c}}ois Monin and
                  Judica{\"{e}}l Courant},
  editor       = {Henrik Nilsson},
  title        = {Proving termination using dependent types: the case of XOR-terms},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {1--18},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/MoninC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Nogueira06,
  author       = {Pablo Nogueira},
  editor       = {Henrik Nilsson},
  title        = {When is an abstract data type a functor?},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {217--231},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Nogueira06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/OliveiraHL06,
  author       = {Bruno C. d. S. Oliveira and
                  Ralf Hinze and
                  Andres L{\"{o}}h},
  editor       = {Henrik Nilsson},
  title        = {Extensible and modular generics for the masses},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {199--216},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Tue, 24 Aug 2010 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/OliveiraHL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Pena-MariSM06,
  author       = {Ricardo Pe{\~{n}}a{-}Mar{\'{\i}} and
                  Clara Segura and
                  Manuel Montenegro},
  editor       = {Henrik Nilsson},
  title        = {A sharing analysis for {SAFE}},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {109--128},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Pena-MariSM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/RaufBS06,
  author       = {Rose H. Abdul Rauf and
                  Ulrich Berger and
                  Anton Setzer},
  editor       = {Henrik Nilsson},
  title        = {Functional concepts in {C++}},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {163--179},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Fri, 18 Sep 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/RaufBS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Setzer06,
  author       = {Anton Setzer},
  editor       = {Henrik Nilsson},
  title        = {Object-oriented programming in dependent type theory},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {91--108},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Setzer06.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.