Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Vene, Varmo (Επιμελητής έκδοσης), Uustalu, Tarmo (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.