TY  - BOOK
AU  - Vene,Varmo
AU  - Uustalu,Tarmo
ED  - SpringerLink (Online service)
TI  - Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures 
T2  - Lecture Notes in Computer Science,
SN  - 9783540318729
AV  - QA76.6-76.66 
U1  - 005.11 23
PY  - 2005///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer programming
KW  - Programming languages (Electronic computers)
KW  - Computer Science
KW  - Programming Techniques
KW  - Software Engineering/Programming and Operating Systems
KW  - Programming Languages, Compilers, Interpreters
KW  - Software Engineering
N1  - 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
UR  - http://dx.doi.org/10.1007/11546382
ER  -