Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Datatype-Generic Programming

Name: Datatype-Generic Programming
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569568
Price: 51.63 EUR
Availability: InStock
Author: Roland Backhouse
ISBN: 9783540767855

International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Language

English

Book Paperback

Libristo code: 01569568

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2007

This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Ge... Full description

Libristo code: 01569568

125 b

51.63 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

John Sinclair 133. Mörderische Weihnachten Jason Dark

Audio CD

8.38 €

Čarovná Ostrava Zdeňka Čudovská

Hardback

22.42 €

Základy tai-chi chi-kung Jwing-ming Yang

Hardback

9.08 €

Insel Amrum August Krause

Paperback

30.91 €

Denunciatio Arnd Koch

Paperback

53.04 €

Die Meerfrau Sue Monk Kidd

Paperback

10.90 €

On Zuzana Markovičová

Paperback

7.27 €

This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006, held in Nottingham, UK, in April 2006, 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.§The volume is opened with a comprehensive assessment of different sorts of parametrisation mechanisms in programmming languages, including how they are implemented, leading up to the notion of datatype genericity. After the introduction of datatype-generic programming the volume contains the following topical chapters: comparing approaches to generic programming in Haskell; generic programming, now; generic programming with dependent types; generic programming in Omega; and revealing the X/O impedance mismatch.