% Time-stamp: % $Id: TFP.bib,v 1.1 2005/01/24 16:45:27 hwloidl Exp hwloidl $ % % This Bibtex file contains references of all papers published in the % Trends in Functional Programming (TFP) series. % TFP is a successor of the Scottish Functional Programming (SFP) Workshops. % For bib entries of SFP from 1999-2001 see SFP.bib. % SFP is a successor to the Glasgow Functional Programming Workshop (GlaFp). % For bib entries of GlaFp from 1988-1998 see GlaFp.bib. % --------------------------------------------------------------------------- % This should be the official web page of the TFP series @Misc{WWW-TFP, key = {TFP Web Page}, title = {{TFP Web Page}}, howpublished = {WWW page}, year = 2006, month = apr, annote = {date field means ``valid at''}, url = {http://www.tifp.org/}, } % --------------------------------------------------------------------------- % the entire TFP03 proceedings @Proceedings{TFP2003, 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{Hammond:TFP_2003_Intellect, 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={TFP2003}, } @InProceedings{MichaelsonHammondSerot:TFP_2003_Intellect, 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={TFP2003}, } @InProceedings{MacKenzieWolverson:TFP_2003_Intellect, 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={TFP2003}, } @InProceedings{WolversonMacKenzie:TFP_2003_Intellect, 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={TFP2003}, } @InProceedings{Singer:TFP_2003_Intellect, 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={TFP2003}, } @InProceedings{DuBoisTrinderLoidl:TFP_2003_Intellect, 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={TFP2003}, } @InProceedings{Widera:TFP_2003_Intellect, 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={TFP2003}, } @InProceedings{KoopmanPlasmeijr:TFP_2003_Intellect, 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={TFP2003}, } % --------------------------------------------------------------------------- % the entire TFP04 proceedings @Proceedings{tfp04, title={Trends in Functional Programming}, booktitle={Trends in Functional Programming}, volume={5}, editor={Hans-Wolfgang Loidl}, publisher={Intellect, Bristol, UK, 2006}, address={Munich, Germany, November 25--26}, year={2004}, } @InProceedings{KesterenEekelenMol:TFP_2004_Intellect, author = {Ron {van Kesteren} and Marko {van Eekelen} and Maarten {de Mol}}, title = {{Proof Support for General Type Classes}}, booktitle={Trends in Functional Programming}, volume=5, editor={Hans-Wolfgang Loidl}, publisher={Intellect}, address={Bristol, UK}, year=2004, crossref={tfp04}, pages={1--16}, } @InProceedings{Reig:TFP_2004_Intellect, author = {Fermin Reig}, title = {{Generic proofs for combinator-based generic programs}}, booktitle={Trends in Functional Programming}, volume=5, editor={Hans-Wolfgang Loidl}, publisher={Intellect}, address={Bristol, UK}, year=2004, crossref={tfp04}, pages={17--32}, } @InProceedings{DuboisHardinDonzeau:TFP_2004_Intellect, author = {Catherine Dubois and Therese Hardin and Veronique Viguie {Donzeau Gouge}}, title = {{Building certified components within FOCAL}}, booktitle={Trends in Functional Programming}, volume=5, editor={Hans-Wolfgang Loidl}, publisher={Intellect}, address={Bristol, UK}, year=2004, crossref={tfp04}, pages={33--48}, } @InProceedings{HuttonWright:TFP_2004_Intellect, author = {Graham Hutton and Joel Wright}, title = {{Calculating an Exceptional Machine}}, booktitle={Trends in Functional Programming}, volume=5, editor={Hans-Wolfgang Loidl}, publisher={Intellect}, address={Bristol, UK}, year=2004, crossref={tfp04}, pages={49--64}, } @InProceedings{GhaniUustaluVene:TFP_2004_Intellect, author = {Neil Ghani and Tarmo Uustalu and Varmo Vene}, title = {{Generalizing the AUGMENT}}, booktitle={Trends in Functional Programming}, volume=5, editor={Hans-Wolfgang Loidl}, publisher={Intellect}, address={Bristol, UK}, year=2004, crossref={tfp04}, pages={65--78}, } @InProceedings{RossbergBotlanTackBrunklausSmolka:TFP_2004_Intellect, author = {Andreas Rossberg and Didier {Le Botlan} and Guido Tack and Thorsten Brunklaus and Gert Smolka}, title = {{Alice Through the Looking Glass}}, booktitle={Trends in Functional Programming}, volume=5, editor={Hans-Wolfgang Loidl}, publisher={Intellect}, address={Bristol, UK}, year=2004, crossref={tfp04}, pages={79--96}, } @InProceedings{Nemeth:TFP_2004_Intellect, author = {Laszlo Nemeth}, title = {{Experiments with GHC's Optimiser}}, booktitle={Trends in Functional Programming}, volume=5, editor={Hans-Wolfgang Loidl}, publisher={Intellect}, address={Bristol, UK}, year=2004, crossref={tfp04}, pages={97--112}, } @InProceedings{EversAchtenPlasmeijr:TFP_2004_Intellect, author = {Sander Evers and Peter Achten and Rinus Plasmeijer}, title = {{Disjoint Forms in Graphical User Interfaces}}, booktitle={Trends in Functional Programming}, volume=5, editor={Hans-Wolfgang Loidl}, publisher={Intellect}, address={Bristol, UK}, year=2004, pages={113--128}, } @InProceedings{ClericiZoltan:TFP_2004_Intellect, author = {Silvia Clerici and Cristina Zoltan}, title = {{A Graphic Functional-Dataflow Language}}, booktitle={Trends in Functional Programming}, volume=5, editor={Hans-Wolfgang Loidl}, publisher={Intellect}, address={Bristol, UK}, year=2004, crossref={tfp04}, pages={122--144}, } % --------------------------------------------------------------------------- % the entire TFP05 proceedings @proceedings{TFP2005, editor = {Marko C. J. D. van Eekelen}, title = {Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005}, booktitle = {Trends in Functional Programming}, publisher = {Intellect, UK/The University of Chicago Press, USA}, series = {Trends in Functional Programming}, volume = {6}, year = {2007}, isbn = {978-1-84150-176-5}, } @inproceedings{Millikin05:TFP_2005_Intellect, author = {Kevin Millikin}, title = {{A New Approach to One-pass Transformations}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {1--13}, crossref = {TFP2005}, } @inproceedings{MitchellR05:TFP_2005_Intellect, author = {Neil Mitchell and Colin Runciman}, title = {{A Static Checker for Safe Pattern Matching in Haskell}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {15--30}, crossref = {TFP2005}, } @inproceedings{RyderT05:TFP_2005_Intellect, author = {Chris Ryder and Simon J. Thompson}, title = {{Software Metrics: Measuring Haskell}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {31--46}, crossref = {TFP2005}, } @inproceedings{Elsman05:TFP_2005_Intellect, author = {Martin Elsman}, title = {{Type-specialized Serialization with Sharing}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {47--62}, crossref = {TFP2005}, } @inproceedings{Asai05:TFP_2005_Intellect, author = {Kenichi Asai}, title = {{Logical Relations for Call-by-value Delimited Continuations}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {63--78}, crossref = {TFP2005}, } @inproceedings{ChapmanAM05:TFP_2005_Intellect, author = {James Chapman and Thorsten Altenkirch and Conor McBride}, title = {{Epigram Reloaded: a Standalone Typechecker for ETT}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {79--94}, crossref = {TFP2005}, } @inproceedings{LiT05:TFP_2005_Intellect, author = {Huiqing Li and Simon J. Thompson}, title = {{Formalisation of Haskell Refactorings}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {95--110}, crossref = {TFP2005}, } @inproceedings{Katayama05:TFP_2005_Intellect, author = {Susumu Katayama}, title = {{Systematic Search for Lambda Expressions}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {111--126}, crossref = {TFP2005}, } @inproceedings{Rhiger05:TFP_2005_Intellect, author = {Morten Rhiger}, title = {{First-class Open and Closed Code Fragments}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {127--144}, crossref = {TFP2005}, } @inproceedings{UustaluV05:TFP_2005_Intellect, author = {Tarmo Uustalu and Varmo Vene}, title = {{Comonadic Functional Attribute Evaluation}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {145--162}, crossref = {TFP2005}, } @inproceedings{KoopmanP05:TFP_2005_Intellect, author = {Pieter W. M. Koopman and Rinus Plasmeijer}, title = {{Generic Generation of the Elements of Data Types}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {163--178}, crossref = {TFP2005}, } @inproceedings{Leijen05:TFP_2005_Intellect, author = {Daan Leijen}, title = {{Extensible Records with Scoped Labels}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {179--194}, crossref = {TFP2005}, } @inproceedings{HammondDFHHJLMPSSW05:TFP_2005_Intellect, author = {Kevin Hammond and Roy Dyckhoff and Christian Ferdinand and Reinhold Heckmann and Martin Hofmann and Steffen Jost and Hans-Wolfgang Loidl and Greg Michaelson and Robert F. Pointon and Norman Scaife and Jocelyn S{\'e}rot and Andy Wallace}, title = {{The Embounded Project (Project Start Paper)}}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {195--210}, crossref = {TFP2005}, } @inproceedings{SannellaHAGSBLMMS05:TFP_2005_Intellect, author = {Donald Sannella and Martin Hofmann and David Aspinall and Stephen Gilmore and Ian Stark and Lennart Beringer and Hans-Wolfgang Loidl and Kenneth MacKenzie and Alberto Momigliano and Olha Shkaravska}, title = {Mobile Resource Guarantees (Project Evaluation Paper)}, booktitle = {Trends in Functional Programming}, year = {2005}, pages = {211--226}, crossref = {TFP2005}, } % ----------------------------------------------------------------------------- @proceedings{tfp2006, 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}, booktitle = {Trends in Functional Programming}, publisher = {Intellect}, series = {Trends in Functional Programming}, volume = {7}, year = {2007}, isbn = {978-1-84150-188-8}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{MoninC06:TFP_2006_Intellect, 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}, year = {2006}, pages = {1-18}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{LuoC06:TFP_2006_Intellect, author = {Yong Luo and Olaf Chitil}, title = {{Proving the Correctness of Algorithmic Debugging for Functional Programs}}, booktitle = {Trends in Functional Programming}, year = {2006}, pages = {19-34}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{KoopmanP06:TFP_2006_Intellect, author = {Pieter W. M. Koopman and Rinus Plasmeijer}, title = {{Systematic Synthesis of Functions}}, booktitle = {Trends in Functional Programming}, year = {2006}, pages = {35-54}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{ChristiansenH06:TFP_2006_Intellect, author = {Jan Christiansen and Frank Huch}, title = {{A Purely Functional Implementation of ROBDDs in Haskell}}, booktitle = {Trends in Functional Programming}, year = {2006}, pages = {55-71}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{JansenKP06:TFP_2006_Intellect, 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}, year = {2006}, pages = {73-90}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{Setzer06:TFP_2006_Intellect, author = {Anton Setzer}, title = {{Object-oriented Programming in Dependent Type Theory}}, booktitle = {Trends in Functional Programming}, year = {2006}, pages = {91-108}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{Pena-MariSM06:TFP_2006_Intellect, author = {Ricardo Pe{\~n}a-Mar\'{\i} and Clara Segura and Manuel Montenegro}, title = {{A Sharing Analysis for SAFE}}, booktitle = {Trends in Functional Programming}, year = {2006}, pages = {109-128}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{HanaiUYYY06:TFP_2006_Intellect, 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}, year = {2006}, pages = {129-144}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{Grabmuller06:TFP_2006_Intellect, author = {Martin Grabm{\"u}ller}, title = {{A Model of Functional Programming with Dynamic Compilation and Optimization}}, booktitle = {Trends in Functional Programming}, year = {2006}, pages = {145-161}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{RaufBS06:TFP_2006_Intellect, author = {Rose H. Abdul Rauf and Ulrich Berger and Anton Setzer}, title = {{Functional Concepts in C++}}, booktitle = {Trends in Functional Programming}, year = {2006}, pages = {163-179}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{Fischer06:TFP_2006_Intellect, author = {Sebastian Fischer}, title = {{Resource-based Web Applications}}, booktitle = {Trends in Functional Programming}, year = {2006}, pages = {181-197}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{OliveiraHL06:TFP_2006_Intellect, 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}, year = {2006}, pages = {199-216}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{Nogueira06:TFP_2006_Intellect, author = {Pablo Nogueira}, title = {{When is an Abstract Data Type a Functor?}}, booktitle = {Trends in Functional Programming}, year = {2006}, pages = {217-231}, crossref = {tfp2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } % ----------------------------------------------------------------------------- @proceedings{TFP2007, editor = {Marco T. Moraz\'an}, title = {Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, USA, 2-4 April 2007}, booktitle = {Trends in Functional Programming}, publisher = {Intellect, UK/The University of Chicago Press, USA}, series = {Trends in Functional Programming}, volume = {8}, year = {2008}, isbn = {978-1-84150-196-3} } @inproceedings{Herman07:TFP_2007_Intellect, author = {David Herman and Aaron Tomb and Cormac Flanagan}, title = {Space-Efficient Gradual Typing}, booktitle = {Trends in Functional Programming}, year = {2008}, pages = {1-18}, crossref = {TFP2007} } @inproceedings{Lakin07:TFP_2007_Intellect, author = {Matthew Lakin and Andrew Pitts}, title = {A Metalanguage for Structural Operational Semantics}, booktitle = {Trends in Functional Programming}, year = {2008}, pages = {19-35}, crossref = {TFP2007} } @inproceedings{Eekelen07:TFP_2007_Intellect, author = {Marko van Eekelen and Olha Shkaravska and Ron van Kesteren and Bart Jacobs and Erik Poll and Sjaak Smetsers}, title = {AHA: Amortized Heap Space Usage Analysis}, booktitle = {Trends in Functional Programming}, year = {2008}, pages = {36-53}, crossref = {TFP2007} } @inproceedings{Gronski07:TFP_2007_Intellect, author = {Jessica Gronski and Cormac Flanagan}, title = {Unifying Hybrid Types and Contracts}, booktitle = {Trends in Functional Programming}, year = {2008}, pages = {54-70}, crossref = {TFP2007} } @inproceedings{Grov07:TFP_2007_Intellect, author = {Gudmund Grov and Greg Michaelson}, title = {Towards a Box Calculus for Hierarchical Hume}, booktitle = {Trends in Functional Programming}, year = {2008}, pages = {71-88}, crossref = {TFP2007} } @inproceedings{Sonmez07:TFP_2007_Intellect, author = {Nehir Sonmez and Cristian Perfumo and Srdjan Stipic and Adrian Cristal and Osman S. Unsal and Mateo Valero}, title = {unreadTVar: Extending Haskell Software Transactional Memory for Performance}, booktitle = {Trends in Functional Programming}, year = {2008}, pages = {89-104}, crossref = {TFP2007} } @inproceedings{Lindblad07:TFP_2007_Intellect, author = {Fredrik Lindblad}, title = {Property Directed Generation of First-Order Test Data}, booktitle = {Trends in Functional Programming}, year = {2008}, pages = {105-123}, crossref = {TFP2007} } @inproceedings{Conchon07:TFP_2007_Intellect, author = {Sylvain Conchon and Jean-Christophe Filli\^{a}tre and Julien Signoles}, title = {Designing a Generic Graph Library Using ML Functors}, booktitle = {Trends in Functional Programming}, year = {2008}, pages = {124-140}, crossref = {TFP2007} } @inproceedings{Loitsch07:TFP_2007_Intellect, author = {Florian Loitsch and Manuel Serrano}, title = {Hop Client-Side Compilation}, booktitle = {Trends in Functional Programming}, year = {2008}, pages = {141-158}, crossref = {TFP2007} } @inproceedings{Brady07:TFP_2007_Intellect, author = {Edwin Brady and James McKinna and Kevin Hammond}, title = {Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types}, booktitle = {Trends in Functional Programming}, year = {2008}, pages = {159-176}, crossref = {TFP2007} } % --------------------------------------------------------------------------- % the entire TFP08 proceedings @proceedings{achp09:TFP08, title = {Trends in Functional Programming}, year = {2009}, editor = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}}, volume = 9, series = {Trends in Functional Programming}, address = {Nijmegen, The Netherlands}, publisher = {Intellect}, note = {ISBN 978-1-84150-277-9} } @inproceedings{camb09:TFP_2008_Intellect, author = {Campbell, Brian}, title = {Prediction of linear memory usage for first-order functional programs - Best student paper}, booktitle = {Trends in Functional Programming}, editor = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}}, year = 2009, volume = 9, series = {Trends in Functional Programming}, publisher = {Intellect}, note = {ISBN 978-1-84150-277-9}, pages = {1-16} } @inproceedings{swiw09:TFP_2008_Intellect, author = {Swierstra, Wouter and Altenkirch, Thorsten}, title = {Dependent Types for Distributed Arrays - Best student paper}, booktitle = {Trends in Functional Programming}, editor = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}}, year = 2009, volume = 9, series = {Trends in Functional Programming}, publisher = {Intellect}, note = {ISBN 978-1-84150-277-9}, pages = {17-32} } @inproceedings{tama09:TFP_2008_Intellect, author = {Tamalet, Alejandro and Shkaravska, Olha and {van Eekelen}, Marko}, title = {Size Analysis of Algebraic Data Type}, booktitle = {Trends in Functional Programming}, editor = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}}, year = 2009, volume = 9, series = {Trends in Functional Programming}, publisher = {Intellect}, note = {ISBN 978-1-84150-277-9}, pages = {33-48} } @inproceedings{scht09:TFP_2008_Intellect, author = {Schrijvers, Tom and Sulzmann, Martin}, title = {Confluence for Functional Dependencies}, booktitle = {Trends in Functional Programming}, editor = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}}, year = 2009, volume = 9, series = {Trends in Functional Programming}, publisher = {Intellect}, note = {ISBN 978-1-84150-277-9}, pages = {49-64} } @inproceedings{mida09:TFP_2008_Intellect, author = {Middelkoop, Arie and Dijkstra, Atze and Swierstra, {S. Doaitse}}, title = {A Leaner Specification for {GADT}s}, booktitle = {Trends in Functional Programming}, editor = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}}, year = 2009, volume = 9, series = {Trends in Functional Programming}, publisher = {Intellect}, note = {ISBN 978-1-84150-277-9}, pages = {65-80} } @inproceedings{guil09:TFP_2008_Intellect, author = {Guillemette, Louis-Julien and Monnier, Stefan}, title = {One Vote for Type Families in {Haskell}!}, booktitle = {Trends in Functional Programming}, editor = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}}, year = 2009, volume = 9, series = {Trends in Functional Programming}, publisher = {Intellect}, note = {ISBN 978-1-84150-277-9}, pages = {81-96} } @inproceedings{scun09:TFP_2008_Intellect, author = {Sculthorpe, Neil and Nilsson, Henrik}, title = {Optimisation of Dynamic, Hybrid Signal Function Networks}, booktitle = {Trends in Functional Programming}, editor = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}}, year = 2009, volume = 9, series = {Trends in Functional Programming}, publisher = {Intellect}, note = {ISBN 978-1-84150-277-9}, pages = {97-112} } @inproceedings{ghan09:TFP_2008_Intellect, author = {Ghani, Neil and Johann, Patricia}, title = {Short Cut Fusion for Effects}, booktitle = {Trends in Functional Programming}, editor = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}}, year = 2009, volume = 9, series = {Trends in Functional Programming}, publisher = {Intellect}, note = {ISBN 978-1-84150-277-9}, pages = {113-128} } @inproceedings{hul09:TFP_2008_Intellect, author = {HU, Liyang and Hutton, Graham}, title = {Towards a Verified {STM}}, booktitle = {Trends in Functional Programming}, editor = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}}, year = 2009, volume = 9, series = {Trends in Functional Programming}, publisher = {Intellect}, note = {ISBN 978-1-84150-277-9}, pages = {129-144} } @inproceedings{cove09:TFP_2008_Intellect, author = {Covino, Emanuele and Pani, Giovanni}, title = {Complexity Certification of {C++} Template Metaprogramming}, booktitle = {Trends in Functional Programming}, editor = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}}, year = 2009, volume = 9, series = {Trends in Functional Programming}, publisher = {Intellect}, note = {ISBN 978-1-84150-277-9}, pages = {145-160} } @inproceedings{brae09:TFP_2008_Intellect, author = {Brady, Edwin and Herrmann, Christoph and Hammond, Kevin}, title = {Lightweight Invariants with Full Dependent Types}, booktitle = {Trends in Functional Programming}, editor = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}}, year = 2009, volume = 9, series = {Trends in Functional Programming}, publisher = {Intellect}, note = {ISBN 978-1-84150-277-9}, pages = {161-177} } % --------------------------------------------------------------------------- % the entire TFP09 proceedings @proceedings{TFP2009, editor = {Zolt{\'a}n Horv{\'a}th and Vikt{\'o}ria Zs{\'o}k and Peter Achten and Pieter Koopman}, title = {Proceedings of the Tenth Symposium on Trends in Functional Programming (TFP'09)}, month = {June 2--4}, year = {2009}, location = {Selye Janos University, Komarno, Slovakia}, publisher = {Intellect, UK/The University of Chicago Press, USA}, series = {Trends in Functional Programming}, volume = {10}, isbn = {978-1-84150-405-6}, url = {http://www-fp.cs.st-andrews.ac.uk/tifp/} } @InProceedings{horstmeyer09:TFP_2009_Intellect, author = {Thomas Horstmeyer and Rita Loogen}, title = {{Graph-based Communication in Eden}}, booktitle = {Trends in Functional Programming}, year = 2009, pages = {1--16}, crossref = {TFP2009}} @InProceedings{hu09:TFP_2009_Intellect, author = {Liyang Hu and Graham Hutton}, title = {{Compiling Concurrency Correctly: Cutting out the Middle Man}}, booktitle = {Trends in Functional Programming}, year = 2009, pages = {17--32}, crossref = {TFP2009}} @InProceedings{guo09:TFP_2009_Intellect, author = {Jing Guo and Jeyarajan Thiyagalingam and Sven-Bodo Scholz}, title = {{Towards Compiling SAC to CUDA}}, booktitle = {Trends in Functional Programming}, year = 2009, pages = {33--48}, crossref = {TFP2009}} @InProceedings{aswad09:TFP_2009_Intellect, author = {Mustafa Aswad and Phil Trinder and Abdallah Al Zain and Greg Michaelson and Jost Berthold}, title = {{Low Pain vs No Pain Multi-core Haskells}}, booktitle = {Trends in Functional Programming}, year = 2009, pages = {49--64}, crossref = {TFP2009}} @InProceedings{sanchez-gil09, author = {Lidia S{\'a}nchez-Gil and Mercedes Hidalgo-Herrero and Yolanda Ortega-Mall{\'e}n}, title = {{An Operational Semantics for Distributed Lazy Evaluation}}, booktitle = {Trends in Functional Programming}, year = 2009, pages = {65--80}, crossref = {TFP2009}} @InProceedings{zerny09:TFP_2009_Intellect, author = {Ian Zerny}, title = {{On Graph Rewriting, Reduction and Evaluation}}, booktitle = {Trends in Functional Programming}, year = 2009, pages = {81--96}, crossref = {TFP2009}} @InProceedings{james09:TFP_2009_Intellect, author = {Daniel W. H. James and Ralf Hinze}, title = {{A Reflection-based Proof Tactic for Lattices in Coq}}, booktitle = {Trends in Functional Programming}, year = 2009, pages = {97--112}, crossref = {TFP2009}} @InProceedings{jeurnig09:TFP_2009_Intellect, author = {Johan Jeurnig and Jos{\'e} Pedro Magalh{\~a}es and Bastiaan Heeren}, title = {{Generic Programming for Domain Reasoners}}, booktitle = {Trends in Functional Programming}, year = 2009, pages = {113--128}, crossref = {TFP2009}} @InProceedings{kahl09:TFP_2009_Intellect, author = {Wolfram Kahl}, title = {{Haskell Module Tools for Liberating Type Class Design}}, booktitle = {Trends in Functional Programming}, year = 2009, pages = {129--144}, crossref = {TFP2009}} @InProceedings{jeltsch09:TFP_2009_Intellect, author = {Wolfgang Jeltsch}, title = {{Signals, Not Generators!}}, booktitle = {Trends in Functional Programming}, year = 2009, pages = {145--160}, crossref = {TFP2009}} @InProceedings{nielsen09:TFP_2009_Intellect, author = {Tom Nielsen and Tom Matheson and Henrik Nilsson}, title = {{Braincurry: A Domain-specific Language for Integrative Neuroscience}}, booktitle = {Trends in Functional Programming}, year = 2009, pages = {161--176}, crossref = {TFP2009}}