Datatype-Generic Programming

Datatype-Generic Programming
Author :
Publisher : Springer Science & Business Media
Total Pages : 379
Release :
ISBN-10 : 9783540767855
ISBN-13 : 3540767851
Rating : 4/5 (55 Downloads)

Book Synopsis Datatype-Generic Programming by : Roland Backhouse

Download or read book Datatype-Generic Programming written by Roland Backhouse and published by Springer Science & Business Media. This book was released on 2007-11-30 with total page 379 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Datatype-Generic Programming Related Books

Datatype-Generic Programming
Language: en
Pages: 379
Authors: Roland Backhouse
Categories: Computers
Type: BOOK - Published: 2007-11-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006. This was held in Nottingham,
From Mathematics to Generic Programming
Language: en
Pages: 311
Authors: Alexander A. Stepanov
Categories: Computers
Type: BOOK - Published: 2014-11-13 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

In this substantive yet accessible book, pioneering software designer Alexander Stepanov and his colleague Daniel Rose illuminate the principles of generic prog
Generic and Indexed Programming
Language: en
Pages: 266
Authors: Jeremy Gibbons
Categories: Computers
Type: BOOK - Published: 2012-07-20 - Publisher: Springer

DOWNLOAD EBOOK

Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, b
Modern C++ Design
Language: en
Pages: 352
Authors: Andrei Alexandrescu
Categories: Computers
Type: BOOK - Published: 2001 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

This title documents a convergence of programming techniques - generic programming, template metaprogramming, object-oriented programming and design patterns. I
Mathematics of Program Construction
Language: en
Pages: 464
Authors: Tarmo Uustalu
Categories: Computers
Type: BOOK - Published: 2006-06-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held at Kuressaare, Estonia, July 3-5,