Datatype-Generic Programming
Computers & IT

Datatype-Generic ProgrammingPublisher: Springer
Language: English
ISBN: 3540767851
Paperback: 369 pages
Data: Jan 2008
Format: PDF
Description: 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.


iFile.it
Click the link above to download from iFile.it
http://iFile.it/

Please leave message if the download links are dead.
We will update them ASAP!


Related Books

  • Essential C++
  • Programming Mobile Devices: An Introduction for Practitioners
  • Exceptional C++: 47 Engineering Puzzles, Programming Problems, and Solutions
  • Rapid GUI Programming with Python and Qt
  • Oracle PL/SQL Language Pocket Reference
  • Smart Card Applications: Design models for using and programming smart cards
  • Java, Java, Java, Object-Oriented Problem Solving (3rd Edition)
  • Handbook of Bioequivalence Testing (Drugs and the Pharmaceutical Sciences)
  • Higher-Order Components for Grid Programming: Making Grids More Usable
  • Cellular Authentication for Mobile and Internet Services

    • Leave a Reply

    You must be logged in to post a comment.