Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Datatype-Generic Programming

Name: Datatype-Generic Programming
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569568
Price: 19870 HUF
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

136 b

19 870 Ft

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

2 972 Ft

Čarovná Ostrava Zdeňka Čudovská

Hardback

7 960 Ft

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

Hardback

3 235 Ft

Insel Amrum August Krause

Paperback

10 945 Ft

Denunciatio Arnd Koch

Paperback

18 790 Ft

Die Meerfrau Sue Monk Kidd

Paperback

4 227 Ft

On Zuzana Markovičová

Paperback

2 561 Ft

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.