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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Vene, Varmo (Editor ), Uustalu, Tarmo (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Theoretical Computer Science and General Issues, 3622
Temas:
Computer programming.
Software engineering.
Compilers (Computer programs).
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares