Skip to main content
Springer Nature Link
Log in

Advanced Functional Programming

5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Varmo Vene

    1. Dept. of Computer Science, Univ. of Tartu, Tartu, Estonia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tarmo Uustalu

    1. Institute of Cybernetics at Tallinn University of Technology, Tallinn, Estonia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3622)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: AFP 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (9 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Typing Haskell with an Attribute Grammar

    • Atze Dijkstra, S. Doaitse Swierstra
    Pages 1-72

  3. Programming with Arrows

    • John Hughes
    Pages 73-129

  4. Epigram: Practical Programming with Dependent Types

    • Conor McBride
    Pages 130-170

  5. Combining Datatypes and Effects

    • Alberto Pardo
    Pages 171-209

  6. GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications

    • Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden
    Pages 210-244

  7. A Functional Shell That Operates on Typed and Compiled Applications

    • Rinus Plasmeijer, Arjen van Weelden
    Pages 245-272

  8. Declarative Debugging with Buddha

    • Bernard Pope
    Pages 273-308

  9. Server-Side Web Programming in WASH

    • Peter Thiemann
    Pages 309-330

  10. Refactoring Functional Programs

    • Simon Thompson
    Pages 331-357

  11. Back Matter

    Pages 359-359
    Download chapter PDF
Back to top

Editors and Affiliations

  • Dept. of Computer Science, Univ. of Tartu, Tartu, Estonia

    Varmo Vene

  • Institute of Cybernetics at Tallinn University of Technology, Tallinn, Estonia

    Tarmo Uustalu

Bibliographic Information

Publish with us

Policies and ethics

Back to top