![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "stream:conf/afp:"
@proceedings{DBLP:conf/afp/2008, editor = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra}, title = {Advanced Functional Programming, 6th International School, {AFP} 2008, Heijen, The Netherlands, May 2008, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {5832}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04652-0}, doi = {10.1007/978-3-642-04652-0}, isbn = {978-3-642-04651-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/AcarL08, author = {Umut A. Acar and Ruy Ley{-}Wild}, editor = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra}, title = {Self-adjusting Computation with Delta {ML}}, booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008, Heijen, The Netherlands, May 2008, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {5832}, pages = {1--38}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-04652-0\_1}, doi = {10.1007/978-3-642-04652-0\_1}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/afp/AcarL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Bird08, author = {Richard S. Bird}, editor = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra}, title = {Spider Spinning for Dummies}, booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008, Heijen, The Netherlands, May 2008, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {5832}, pages = {39--65}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-04652-0\_2}, doi = {10.1007/978-3-642-04652-0\_2}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Bird08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Danvy08, author = {Olivier Danvy}, editor = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra}, title = {From Reduction-Based to Reduction-Free Normalization}, booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008, Heijen, The Netherlands, May 2008, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {5832}, pages = {66--164}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-04652-0\_3}, doi = {10.1007/978-3-642-04652-0\_3}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Danvy08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/JeuringLMY08, author = {Johan Jeuring and Sean Leather and Jos{\'{e}} Pedro Magalh{\~{a}}es and Alexey Rodriguez Yakushev}, editor = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra}, title = {Libraries for Generic Programming in Haskell}, booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008, Heijen, The Netherlands, May 2008, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {5832}, pages = {165--229}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-04652-0\_4}, doi = {10.1007/978-3-642-04652-0\_4}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/JeuringLMY08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/JonesS08, author = {Simon L. Peyton Jones and Satnam Singh}, editor = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra}, title = {A Tutorial on Parallel and Concurrent Programming in Haskell}, booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008, Heijen, The Netherlands, May 2008, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {5832}, pages = {267--305}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-04652-0\_6}, doi = {10.1007/978-3-642-04652-0\_6}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/JonesS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Norell08, author = {Ulf Norell}, editor = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra}, title = {Dependently Typed Programming in Agda}, booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008, Heijen, The Netherlands, May 2008, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {5832}, pages = {230--266}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-04652-0\_5}, doi = {10.1007/978-3-642-04652-0\_5}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Norell08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/PlasmeijerAKLN08, author = {Rinus Plasmeijer and Peter Achten and Pieter W. M. Koopman and Bas Lijnse and Thomas van Noort}, editor = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra}, title = {An iTask Case Study: {A} Conference Management System}, booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008, Heijen, The Netherlands, May 2008, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {5832}, pages = {306--329}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-04652-0\_7}, doi = {10.1007/978-3-642-04652-0\_7}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/PlasmeijerAKLN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/afp/2004, editor = {Varmo Vene and Tarmo Uustalu}, title = {Advanced Functional Programming, 5th International School, {AFP} 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3622}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11546382}, doi = {10.1007/11546382}, isbn = {3-540-28540-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/AchtenEPW04, author = {Peter Achten and Marko C. J. D. van Eekelen and Rinus Plasmeijer and Arjen van Weelden}, editor = {Varmo Vene and Tarmo Uustalu}, title = {{GEC:} {A} Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications}, booktitle = {Advanced Functional Programming, 5th International School, {AFP} 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3622}, pages = {210--244}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11546382\_5}, doi = {10.1007/11546382\_5}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/afp/AchtenEPW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/DijkstraS04, author = {Atze Dijkstra and S. Doaitse Swierstra}, editor = {Varmo Vene and Tarmo Uustalu}, title = {Typing Haskell with an Attribute Grammar}, booktitle = {Advanced Functional Programming, 5th International School, {AFP} 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3622}, pages = {1--72}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11546382\_1}, doi = {10.1007/11546382\_1}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/DijkstraS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Hughes04, author = {John Hughes}, editor = {Varmo Vene and Tarmo Uustalu}, title = {Programming with Arrows}, booktitle = {Advanced Functional Programming, 5th International School, {AFP} 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3622}, pages = {73--129}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11546382\_2}, doi = {10.1007/11546382\_2}, timestamp = {Wed, 02 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/afp/Hughes04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/McBride04, author = {Conor McBride}, editor = {Varmo Vene and Tarmo Uustalu}, title = {Epigram: Practical Programming with Dependent Types}, booktitle = {Advanced Functional Programming, 5th International School, {AFP} 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3622}, pages = {130--170}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11546382\_3}, doi = {10.1007/11546382\_3}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/McBride04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Pardo04, author = {Alberto Pardo}, editor = {Varmo Vene and Tarmo Uustalu}, title = {Combining Datatypes and Effects}, booktitle = {Advanced Functional Programming, 5th International School, {AFP} 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3622}, pages = {171--209}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11546382\_4}, doi = {10.1007/11546382\_4}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Pardo04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/PlasmeijerW04, author = {Rinus Plasmeijer and Arjen van Weelden}, editor = {Varmo Vene and Tarmo Uustalu}, title = {A Functional Shell That Operates on Typed and Compiled Applications}, booktitle = {Advanced Functional Programming, 5th International School, {AFP} 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3622}, pages = {245--272}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11546382\_6}, doi = {10.1007/11546382\_6}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/PlasmeijerW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Pope04, author = {Bernard J. Pope}, editor = {Varmo Vene and Tarmo Uustalu}, title = {Declarative Debugging with Buddha}, booktitle = {Advanced Functional Programming, 5th International School, {AFP} 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3622}, pages = {273--308}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11546382\_7}, doi = {10.1007/11546382\_7}, timestamp = {Sun, 31 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/afp/Pope04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Thiemann04, author = {Peter Thiemann}, editor = {Varmo Vene and Tarmo Uustalu}, title = {Server-Side Web Programming in {WASH}}, booktitle = {Advanced Functional Programming, 5th International School, {AFP} 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3622}, pages = {309--330}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11546382\_8}, doi = {10.1007/11546382\_8}, timestamp = {Mon, 23 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/afp/Thiemann04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Thompson04, author = {Simon J. Thompson}, editor = {Varmo Vene and Tarmo Uustalu}, title = {Refactoring Functional Programs}, booktitle = {Advanced Functional Programming, 5th International School, {AFP} 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {3622}, pages = {331--357}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11546382\_9}, doi = {10.1007/11546382\_9}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Thompson04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/afp/2002, editor = {Johan Jeuring and Simon L. Peyton Jones}, title = {Advanced Functional Programming, 4th International School, {AFP} 2002, Oxford, UK, August 19-24, 2002, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {2638}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/b11942}, doi = {10.1007/B11942}, isbn = {3-540-40132-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/BirdG02, author = {Richard S. Bird and Jeremy Gibbons}, editor = {Johan Jeuring and Simon L. Peyton Jones}, title = {Arithmetic Coding with Folds and Unfolds}, booktitle = {Advanced Functional Programming, 4th International School, {AFP} 2002, Oxford, UK, August 19-24, 2002, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {2638}, pages = {1--26}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-44833-4\_1}, doi = {10.1007/978-3-540-44833-4\_1}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/afp/BirdG02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/ChakravartyK02, author = {Manuel M. T. Chakravarty and Gabriele Keller}, editor = {Johan Jeuring and Simon L. Peyton Jones}, title = {An Approach to Fast Arrays in Haskell}, booktitle = {Advanced Functional Programming, 4th International School, {AFP} 2002, Oxford, UK, August 19-24, 2002, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {2638}, pages = {27--58}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-44833-4\_2}, doi = {10.1007/978-3-540-44833-4\_2}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/ChakravartyK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/ClaessenRCHW02, author = {Koen Claessen and Colin Runciman and Olaf Chitil and John Hughes and Malcolm Wallace}, editor = {Johan Jeuring and Simon L. Peyton Jones}, title = {Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat}, booktitle = {Advanced Functional Programming, 4th International School, {AFP} 2002, Oxford, UK, August 19-24, 2002, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {2638}, pages = {59--99}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-44833-4\_3}, doi = {10.1007/978-3-540-44833-4\_3}, timestamp = {Wed, 02 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/afp/ClaessenRCHW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Felleisen02, author = {Matthias Felleisen}, editor = {Johan Jeuring and Simon L. Peyton Jones}, title = {Developing Interactive Web Programs}, booktitle = {Advanced Functional Programming, 4th International School, {AFP} 2002, Oxford, UK, August 19-24, 2002, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {2638}, pages = {100--128}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-44833-4\_4}, doi = {10.1007/978-3-540-44833-4\_4}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Felleisen02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/FournetFMS02, author = {C{\'{e}}dric Fournet and Fabrice Le Fessant and Luc Maranget and Alan Schmitt}, editor = {Johan Jeuring and Simon L. Peyton Jones}, title = {JoCaml: {A} Language for Concurrent Distributed and Mobile Programming}, booktitle = {Advanced Functional Programming, 4th International School, {AFP} 2002, Oxford, UK, August 19-24, 2002, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {2638}, pages = {129--158}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-44833-4\_5}, doi = {10.1007/978-3-540-44833-4\_5}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/FournetFMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/HudakCNP02, author = {Paul Hudak and Antony Courtney and Henrik Nilsson and John Peterson}, editor = {Johan Jeuring and Simon L. Peyton Jones}, title = {Arrows, Robots, and Functional Reactive Programming}, booktitle = {Advanced Functional Programming, 4th International School, {AFP} 2002, Oxford, UK, August 19-24, 2002, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {2638}, pages = {159--187}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-44833-4\_6}, doi = {10.1007/978-3-540-44833-4\_6}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/HudakCNP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Wadler02, author = {Philip Wadler}, editor = {Johan Jeuring and Simon L. Peyton Jones}, title = {XQuery: {A} Typed Functional Language for Querying {XML}}, booktitle = {Advanced Functional Programming, 4th International School, {AFP} 2002, Oxford, UK, August 19-24, 2002, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {2638}, pages = {188--212}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-44833-4\_7}, doi = {10.1007/978-3-540-44833-4\_7}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Wadler02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/afp/98, editor = {S. Doaitse Swierstra and Pedro Rangel Henriques and Jos{\'{e}} Nuno Oliveira}, title = {Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1608}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/10704973}, doi = {10.1007/10704973}, isbn = {3-540-66241-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Augusteijn98, author = {Lex Augusteijn}, editor = {S. Doaitse Swierstra and Pedro Rangel Henriques and Jos{\'{e}} Nuno Oliveira}, title = {Sorting Morphisms}, booktitle = {Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1608}, pages = {1--27}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/10704973\_1}, doi = {10.1007/10704973\_1}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/afp/Augusteijn98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Augustsson98, author = {Lennart Augustsson}, editor = {S. Doaitse Swierstra and Pedro Rangel Henriques and Jos{\'{e}} Nuno Oliveira}, title = {Cayenne - {A} Language with Dependent Types}, booktitle = {Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1608}, pages = {240--267}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/10704973\_6}, doi = {10.1007/10704973\_6}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Augustsson98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/BackhouseJJM98, author = {Roland Carl Backhouse and Patrik Jansson and Johan Jeuring and Lambert G. L. T. Meertens}, editor = {S. Doaitse Swierstra and Pedro Rangel Henriques and Jos{\'{e}} Nuno Oliveira}, title = {Generic Programming: An Introduction}, booktitle = {Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1608}, pages = {28--115}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/10704973\_2}, doi = {10.1007/10704973\_2}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/afp/BackhouseJJM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/LeijenMH98, author = {Daan Leijen and Erik Meijer and James Hook}, editor = {S. Doaitse Swierstra and Pedro Rangel Henriques and Jos{\'{e}} Nuno Oliveira}, title = {Haskell as an Automation Controller}, booktitle = {Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1608}, pages = {268--289}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/10704973\_7}, doi = {10.1007/10704973\_7}, timestamp = {Wed, 14 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/afp/LeijenMH98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/MoorS98, author = {Oege de Moor and Ganesh Sittampalam}, editor = {S. Doaitse Swierstra and Pedro Rangel Henriques and Jos{\'{e}} Nuno Oliveira}, title = {Generic Program Transformation}, booktitle = {Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1608}, pages = {116--149}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/10704973\_3}, doi = {10.1007/10704973\_3}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/MoorS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Sheard98, author = {Tim Sheard}, editor = {S. Doaitse Swierstra and Pedro Rangel Henriques and Jos{\'{e}} Nuno Oliveira}, title = {Using MetaML: {A} Staged Programming Language}, booktitle = {Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1608}, pages = {207--239}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/10704973\_5}, doi = {10.1007/10704973\_5}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Sheard98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/SwierstraAS98, author = {S. Doaitse Swierstra and Pablo R. Azero Alcocer and Jo{\~{a}}o Saraiva}, editor = {S. Doaitse Swierstra and Pedro Rangel Henriques and Jos{\'{e}} Nuno Oliveira}, title = {Designing and Implementing Combinator Languages}, booktitle = {Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1608}, pages = {150--206}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/10704973\_4}, doi = {10.1007/10704973\_4}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/SwierstraAS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/FinneJ96, author = {Sigbj{\o}rn Finne and Simon L. Peyton Jones}, editor = {John Launchbury and Erik Meijer and Tim Sheard}, title = {Composing the User Interface with Haggis}, booktitle = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {1129}, pages = {1--37}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61628-4\_1}, doi = {10.1007/3-540-61628-4\_1}, timestamp = {Tue, 25 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/FinneJ96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Hudak96, author = {Paul Hudak}, editor = {John Launchbury and Erik Meijer and Tim Sheard}, title = {Haskore Music Tutorial}, booktitle = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {1129}, pages = {38--67}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61628-4\_2}, doi = {10.1007/3-540-61628-4\_2}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Hudak96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/JeuringJ96, author = {Johan Jeuring and Patrik Jansson}, editor = {John Launchbury and Erik Meijer and Tim Sheard}, title = {Polytypic Programming}, booktitle = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {1129}, pages = {68--114}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61628-4\_3}, doi = {10.1007/3-540-61628-4\_3}, timestamp = {Mon, 29 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/JeuringJ96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Lee96, author = {Peter Lee}, editor = {John Launchbury and Erik Meijer and Tim Sheard}, title = {Implementing Threads in Standard {ML}}, booktitle = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {1129}, pages = {115--130}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61628-4\_4}, doi = {10.1007/3-540-61628-4\_4}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Lee96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Okasaki96, author = {Chris Okasaki}, editor = {John Launchbury and Erik Meijer and Tim Sheard}, title = {Functional Data Structures}, booktitle = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {1129}, pages = {131--158}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61628-4\_5}, doi = {10.1007/3-540-61628-4\_5}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Okasaki96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/RuncimanR96, author = {Colin Runciman and Niklas R{\"{o}}jemo}, editor = {John Launchbury and Erik Meijer and Tim Sheard}, title = {Heap Profiling for Space Efficiency}, booktitle = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {1129}, pages = {159--183}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61628-4\_6}, doi = {10.1007/3-540-61628-4\_6}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/RuncimanR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/SwierstraD96, author = {S. Doaitse Swierstra and Luc Duponcheel}, editor = {John Launchbury and Erik Meijer and Tim Sheard}, title = {Deterministic, Error-Correcting Combinator Parsers}, booktitle = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {1129}, pages = {184--207}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61628-4\_7}, doi = {10.1007/3-540-61628-4\_7}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/SwierstraD96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Tofte96, author = {Mads Tofte}, editor = {John Launchbury and Erik Meijer and Tim Sheard}, title = {Essentials of Standard {ML} Modules}, booktitle = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {1129}, pages = {208--238}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61628-4\_8}, doi = {10.1007/3-540-61628-4\_8}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Tofte96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/afp/1996, editor = {John Launchbury and Erik Meijer and Tim Sheard}, title = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {1129}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61628-4}, doi = {10.1007/3-540-61628-4}, isbn = {3-540-61628-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/1996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/EekelenP95, author = {Marko C. J. D. van Eekelen and Marinus J. Plasmeijer}, editor = {Johan Jeuring and Erik Meijer}, title = {Constructing Medium Sized Efficient Functional Programs in Clean}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, May 24-30, 1995, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {925}, pages = {183--227}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59451-5\_6}, doi = {10.1007/3-540-59451-5\_6}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/afp/EekelenP95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Fokker95, author = {Jeroen Fokker}, editor = {Johan Jeuring and Erik Meijer}, title = {Functional Parsers}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, May 24-30, 1995, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {925}, pages = {1--23}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59451-5\_1}, doi = {10.1007/3-540-59451-5\_1}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Fokker95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/HallgrenC95, author = {Thomas Hallgren and Magnus Carlsson}, editor = {Johan Jeuring and Erik Meijer}, title = {Programming with Fudgets}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, May 24-30, 1995, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {925}, pages = {137--182}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59451-5\_5}, doi = {10.1007/3-540-59451-5\_5}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/HallgrenC95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Hughes95, author = {John Hughes}, editor = {Johan Jeuring and Erik Meijer}, title = {The Design of a Pretty-printing Library}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, May 24-30, 1995, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {925}, pages = {53--96}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59451-5\_3}, doi = {10.1007/3-540-59451-5\_3}, timestamp = {Wed, 02 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/afp/Hughes95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Jones95, author = {Mark P. Jones}, editor = {Johan Jeuring and Erik Meijer}, title = {Functional Programming with Overloading and Higher-Order Polymorphism}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, May 24-30, 1995, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {925}, pages = {97--136}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59451-5\_4}, doi = {10.1007/3-540-59451-5\_4}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Jones95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/KieburtzL95, author = {Richard B. Kieburtz and Jeffrey Lewis}, editor = {Johan Jeuring and Erik Meijer}, title = {Programming with Algebras}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, May 24-30, 1995, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {925}, pages = {267--307}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59451-5\_8}, doi = {10.1007/3-540-59451-5\_8}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/KieburtzL95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Launchbury95, author = {John Launchbury}, editor = {Johan Jeuring and Erik Meijer}, title = {Graph Algorithms with a Functional Flavous}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, May 24-30, 1995, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {925}, pages = {308--331}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59451-5\_9}, doi = {10.1007/3-540-59451-5\_9}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Launchbury95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/MeijerJ95, author = {Erik Meijer and Johan Jeuring}, editor = {Johan Jeuring and Erik Meijer}, title = {Merging Monads and Folds for Functional Programming}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, May 24-30, 1995, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {925}, pages = {228--266}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59451-5\_7}, doi = {10.1007/3-540-59451-5\_7}, timestamp = {Wed, 14 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/afp/MeijerJ95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afp/Wadler95, author = {Philip Wadler}, editor = {Johan Jeuring and Erik Meijer}, title = {Monads for Functional Programming}, booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, May 24-30, 1995, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {925}, pages = {24--52}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59451-5\_2}, doi = {10.1007/3-540-59451-5\_2}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/Wadler95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/afp/1995, editor = {Johan Jeuring and Erik Meijer}, title = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\aa}stad, Sweden, May 24-30, 1995, Tutorial Text}, series = {Lecture Notes in Computer Science}, volume = {925}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59451-5}, doi = {10.1007/3-540-59451-5}, isbn = {3-540-59451-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afp/1995.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.