Advanced Functional Programming

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

376 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering
• ISBN: 9783540285403
• Sprache: Englisch
• Erscheinungsdatum: 15.09.2005
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Varmo Vene, Tarmo Uustalu