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.