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},
  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},
  pages     = {55--71},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/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},
  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},
  pages     = {181--197},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +0200},
  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},
  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},
  pages     = {145--161},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +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},
  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},
  pages     = {129--144},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +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},
  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},
  pages     = {73--90},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +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},
  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},
  pages     = {35--54},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +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},
  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},
  pages     = {19--34},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +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},
  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},
  pages     = {1--18},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +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},
  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},
  pages     = {217--231},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +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},
  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},
  pages     = {199--216},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/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},
  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},
  pages     = {109--128},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +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},
  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},
  pages     = {163--179},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/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},
  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},
  pages     = {91--108},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +0200},
  biburl    = {https://dblp.org/rec/conf/sfp/Setzer06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics