Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures (Lecture Notes in Computer Science, 3622, Band 3622) - Softcover

Uustalu, Tarmo; Vene, Varmo

 
9783540285403: Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures (Lecture Notes in Computer Science, 3622, Band 3622)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.