Search dblp for Publications

• > Home > Search

@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}
}

@inproceedings{DBLP:conf/sfp/ChristiansenH06,
  author       = {Jan Christiansen and
                  Frank Huch},
  title        = {A purely functional implementation of ROBDDs in Haskell},
  booktitle    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {55--71},
  publisher    = {Intellect},
  year         = {2006}
}

@inproceedings{DBLP:conf/sfp/Fischer06,
  author       = {Sebastian Fischer},
  title        = {Resource-based Web applications},
  booktitle    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {181--197},
  publisher    = {Intellect},
  year         = {2006}
}

@inproceedings{DBLP:conf/sfp/Grabmuller06,
  author       = {Martin Grabm{\"{u}}ller},
  title        = {A model of functional programming with dynamic compilation and optimization},
  booktitle    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {145--161},
  publisher    = {Intellect},
  year         = {2006}
}

@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    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {129--144},
  publisher    = {Intellect},
  year         = {2006}
}

@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    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {73--90},
  publisher    = {Intellect},
  year         = {2006}
}

@inproceedings{DBLP:conf/sfp/KoopmanP06,
  author       = {Pieter W. M. Koopman and
                  Rinus Plasmeijer},
  title        = {Systematic synthesis of functions},
  booktitle    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {35--54},
  publisher    = {Intellect},
  year         = {2006}
}

@inproceedings{DBLP:conf/sfp/LuoC06,
  author       = {Yong Luo and
                  Olaf Chitil},
  title        = {Proving the correctness of algorithmic debugging for functional programs},
  booktitle    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {19--34},
  publisher    = {Intellect},
  year         = {2006}
}

@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    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {1--18},
  publisher    = {Intellect},
  year         = {2006}
}

@inproceedings{DBLP:conf/sfp/Nogueira06,
  author       = {Pablo Nogueira},
  title        = {When is an abstract data type a functor?},
  booktitle    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {217--231},
  publisher    = {Intellect},
  year         = {2006}
}

@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    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {199--216},
  publisher    = {Intellect},
  year         = {2006}
}

@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    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {109--128},
  publisher    = {Intellect},
  year         = {2006}
}

@inproceedings{DBLP:conf/sfp/RaufBS06,
  author       = {Rose H. Abdul Rauf and
                  Ulrich Berger and
                  Anton Setzer},
  title        = {Functional concepts in {C++}},
  booktitle    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {163--179},
  publisher    = {Intellect},
  year         = {2006}
}

@inproceedings{DBLP:conf/sfp/Setzer06,
  author       = {Anton Setzer},
  title        = {Object-oriented programming in dependent type theory},
  booktitle    = {Trends in Functional Programming},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {91--108},
  publisher    = {Intellect},
  year         = {2006}
}