% the entire TFP03 proceedings
@Proceedings{tfp03,
 title={Trends in Functional Programming},
 booktitle={Trends in Functional Programming},
 volume={4},
 editor={Stephen Gilmore},
 publisher={Intellect, Bristol, UK, 2005},
 address={Edinburgh, September 11--12},
 year={2003},
 note={ISBN 1-84150-122-0},
}

@InProceedings{HammondTFP03,
 title={{Is It Time for Real-Time Functional Programming?}},
 author={Kevin Hammond},
 pages={1--18},
 booktitle={Trends in Functional Programming},
 volume={4},
 editor={Stephen Gilmore},
 publisher={Intellect},
 address={Bristol, UK},
 year={2003},
 crossref={tfp03},
}

@InProceedings{MichaelsonHammondSerotTFP03,
 title={{FSM-Hume is Finite State}},
 author={Greg Michaelson and Kevin Hammond and Jocelyn Serot},
 pages={19--28},
 booktitle={Trends in Functional Programming},
 volume={4},
 editor={Stephen Gilmore},
 publisher={Intellect},
 address={Bristol, UK},
 year={2003},
 crossref={tfp03},
}

@InProceedings{MacKenzieWolversonTFP03,
 title={{Camelot and Grail: Resource-Aware Functional Programming for the JVM}},
 author={Kenneth MacKenzie and Nicholas Wolverson},
 pages={29--46},
 booktitle={Trends in Functional Programming},
 volume={4},
 editor={Stephen Gilmore},
 publisher={Intellect},
 address={Bristol, UK},
 year={2003},
 crossref={tfp03},
}

@InProceedings{WolversonMacKenzieTFP03,
 title={{O'Camelot: Adding Objects to a Resource-Aware Functional Language}},
 author={Nicholas Wolverson and Kenneth MacKenzie},
 pages={47--62},
 booktitle={Trends in Functional Programming},
 volume={4},
 editor={Stephen Gilmore},
 publisher={Intellect},
 address={Bristol, UK},
 year={2003},
 crossref={tfp03},
}

@InProceedings{SingerTFP03,
 title={{Static Single Information from a Functional Perspective}},
 author={Jeremy Singer},
 pages={63--78},
 booktitle={Trends in Functional Programming},
 volume={4},
 editor={Stephen Gilmore},
 publisher={Intellect},
 address={Bristol, UK},
 year={2003},
 crossref={tfp03},
}

@InProceedings{DuBoisTrinderLoidlTFP03,
 title={{Implementing Mobile Haskell}},
 author={Andre Rauber {Du Bois} and Phil Trinder and Hans-Wolfgang Loidl},
 pages={79--94},
 booktitle={Trends in Functional Programming},
 volume={4},
 editor={Stephen Gilmore},
 publisher={Intellect},
 address={Bristol, UK},
 year={2003},
 crossref={tfp03},
}

@InProceedings{WideraTFP03,
 title={{Testing Scheme Programming Assignments Automatically}},
 author={Manfred Widera},
 pages={95--110},
 booktitle={Trends in Functional Programming},
 volume={4},
 editor={Stephen Gilmore},
 publisher={Intellect},
 address={Bristol, UK},
 year={2003},
 crossref={tfp03},
}

@InProceedings{KoopmanPlasmeijrTFP03,
 title={{Testing Reactive Systems with GAST}},
 author={Pieter Koopman and Rinus Plasmeijr},
 pages={111--129},
 booktitle={Trends in Functional Programming},
 volume={4},
 editor={Stephen Gilmore},
 publisher={Intellect},
 address={Bristol, UK},
 year={2003},
 crossref={tfp03},
}