Datatype-generic Programming: International Spring School, Ssdgp 2006, Nottingham, Uk, April 24-27, 2006, Revised Lectures

Backhouse, Roland (Editor)/ Gibbons, Jeremy (Editor)/ Hinze, Ralf (Editor)/ Jeuring, Johan (Editor)

ISBN 10: 3540767851 / ISBN 13: 9783540767855

Editore: Springer-Verlag New York Inc, 2008

Riguardo questo articolo

1st edition. 369 pages. 9.00x6.00x0.75 inches. In Stock. Codice articolo x-3540767851

Dati bibliografici

Titolo: Datatype-generic Programming: International ...

Casa editrice: Springer-Verlag New York Inc

Data di pubblicazione: 2008

Legatura: Paperback

Condizione: Brand New

Descrizione articolo

Riassunto:

This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006. This was held in Nottingham, UK, in April 2006. It was colocated with the Symposium on Trends in Functional Programming (TFP 2006), and the Conference of the Types Project (TYPES 2006). All the lectures have been subjected to thorough internal review by the editors and contributors, supported by independent external reviews.

Contenuti:

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.