Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2005.
|
Σειρά: | Lecture Notes in Computer Science,
3622 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.