Advanced Functional Programming [electronic resource] : 5th International School, AFP 2004, Tartu, Estonia, August 14 21, 2004, Revised Lectures / edited by Varmo Vene, Tarmo Uustalu.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 3622 | Lecture Notes in Computer Science ; 3622Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Descripción: X, 362 p. online resourceTipo de contenido: - text
- computer
- online resource
- 9783540318729
- SpringerLink (Online service)
- 005.11 23
- QA76.6-76.66
Contenidos:
Springer eBooks
No hay ítems correspondientes a este registro
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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.