Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/sfp/2003,
  editor       = {Stephen Gilmore},
  title        = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
                  Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
                  2003},
  series       = {Trends in Functional Programming},
  volume       = {4},
  publisher    = {Intellect},
  year         = {2005},
  isbn         = {1-84150-122-0},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/BoisTL03,
  author       = {Andr{\'{e}} Rauber Du Bois and
                  Philip W. Trinder and
                  Hans{-}Wolfgang Loidl},
  editor       = {Stephen Gilmore},
  title        = {Implementing Mobile Haskell},
  booktitle    = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
                  Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
                  2003},
  series       = {Trends in Functional Programming},
  volume       = {4},
  pages        = {79--94},
  publisher    = {Intellect},
  year         = {2003},
  timestamp    = {Thu, 25 Oct 2007 12:00:20 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/BoisTL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Hammond03,
  author       = {Kevin Hammond},
  editor       = {Stephen Gilmore},
  title        = {Is it time for real-time functional programming?},
  booktitle    = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
                  Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
                  2003},
  series       = {Trends in Functional Programming},
  volume       = {4},
  pages        = {1--18},
  publisher    = {Intellect},
  year         = {2003},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Hammond03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/KoopmanP03,
  author       = {Pieter W. M. Koopman and
                  Rinus Plasmeijer},
  editor       = {Stephen Gilmore},
  title        = {Testing reactive systems with {GAST}},
  booktitle    = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
                  Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
                  2003},
  series       = {Trends in Functional Programming},
  volume       = {4},
  pages        = {111--129},
  publisher    = {Intellect},
  year         = {2003},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/KoopmanP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/MacKenzieW03,
  author       = {Kenneth MacKenzie and
                  Nicholas Wolverson},
  editor       = {Stephen Gilmore},
  title        = {Camelot and Grail: resource-aware functional programming for the {JVM}},
  booktitle    = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
                  Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
                  2003},
  series       = {Trends in Functional Programming},
  volume       = {4},
  pages        = {29--46},
  publisher    = {Intellect},
  year         = {2003},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/MacKenzieW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/MichaelsonHS03,
  author       = {Greg Michaelson and
                  Kevin Hammond and
                  Jocelyn S{\'{e}}rot},
  editor       = {Stephen Gilmore},
  title        = {FSM-Hume is finite state},
  booktitle    = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
                  Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
                  2003},
  series       = {Trends in Functional Programming},
  volume       = {4},
  pages        = {19--28},
  publisher    = {Intellect},
  year         = {2003},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/MichaelsonHS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Singer03,
  author       = {Jeremy Singer},
  editor       = {Stephen Gilmore},
  title        = {Static single information from a functional perspective},
  booktitle    = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
                  Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
                  2003},
  series       = {Trends in Functional Programming},
  volume       = {4},
  pages        = {63--78},
  publisher    = {Intellect},
  year         = {2003},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Singer03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Widera03,
  author       = {Manfred Widera},
  editor       = {Stephen Gilmore},
  title        = {Testing Scheme programming assignments automatically},
  booktitle    = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
                  Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
                  2003},
  series       = {Trends in Functional Programming},
  volume       = {4},
  pages        = {95--110},
  publisher    = {Intellect},
  year         = {2003},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/Widera03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/WolversonM03,
  author       = {Nicholas Wolverson and
                  Kenneth MacKenzie},
  editor       = {Stephen Gilmore},
  title        = {O'Camelot: adding objects to a resource-aware functional language},
  booktitle    = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
                  Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
                  2003},
  series       = {Trends in Functional Programming},
  volume       = {4},
  pages        = {47--62},
  publisher    = {Intellect},
  year         = {2003},
  timestamp    = {Thu, 25 Oct 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/WolversonM03.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.