Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/afp:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-09-11 09:39 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
