Search dblp for Publications

export results for "toc:db/conf/afp/afp2008.bht:"

 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}
}

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.