Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated - the so-called genericity of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers and ?oating-point num...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Backhouse, Roland (Editor ), Gibbons, Jeremy (Editor ), Hinze, Ralf (Editor ), Jeuring, Johan (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Theoretical Computer Science and General Issues, 4719
Temas:
Software engineering.
Computer programming.
Compilers (Computer programs).
Artificial intelligence-Data processing.
Computer science.
Software Engineering.
Programming Techniques.
Compilers and Interpreters.
Data Science.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Datatype-Generic Programming
  • Comparing Approaches to Generic Programming in Haskell
  • Generic Programming, Now!
  • Generic Programming with Dependent Types
  • Generic Programming in ?mega
  • Revealing the X/O Impedance Mismatch.

Ejemplares similares