Skip to main content
SpringerLink
Log in

Datatype-Generic Programming

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

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Roland Backhouse
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jeremy Gibbons
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ralf Hinze
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Johan Jeuring
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4719)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SSDGP 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Datatype-Generic Programming

    • Jeremy Gibbons
    Pages 1-71

  3. Comparing Approaches to Generic Programming in Haskell

    • Ralf Hinze, Johan Jeuring, Andres Löh
    Pages 72-149

  4. Generic Programming, Now!

    • Ralf Hinze, Andres Löh
    Pages 150-208

  5. Generic Programming with Dependent Types

    • Thorsten Altenkirch, Conor McBride, Peter Morris
    Pages 209-257

  6. Generic Programming in Ωmega

    • Tim Sheard
    Pages 258-284

  7. Revealing the X/O Impedance Mismatch

    • Ralf Lämmel, Erik Meijer
    Pages 285-367

  8. Back Matter

    Pages 369-372
    Download chapter PDF
Back to top

Other volumes

  1. Datatype-Generic Programming

Keywords

About this book

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called genericity of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers and ?oating-point numbers, through structured values, types and classes, to kinds (the type of types and/or classes).Datatype-generic programming is about parametrising programsby the structure of the data that they manipulate. Toappreciatethe importanceofdatatypegenericity,oneneedlooknofurther than the internet. The internet is a massive repository of structured data, but the structure is rarely exploited. For example, compression of data can be much more e?ective if its structure is known, but most compression algorithms regard the input data as simply a string of bits, and take no account of its internal organisation. Datatype-genericprogrammingisaboutexploitingthestructureofdatawhen it is relevant and ignoring it when it is not. Programming languages most c- monly used at the present time do not provide e?ective mechanisms for do- menting and implementing datatype genericity. This volume is a contribution towards improving the state of the art. The emergence of datatype genericity can be traced back to the late 1980s.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation