Advanced Functional Programming [electronic resource] : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
AFP 2004Corporate Author
AFP 2004(2004 :Tartu, Estonia)
AFP 2004
Vene, Varmo.editor.
Uustalu, Tarmo.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
Typing Haskell with an Attribute Grammar -- Programming with Arrows -- Epigram: Practical Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Refactoring Functional Programs.
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Programming Techniques.
Software Engineering/Programming and Operating Systems.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Lecture notes in computer science