default search action
Search dblp for Publications
export results for "toc:db/conf/sfp/tfp2003.bht:"
@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} }
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.