programming languages seminar (27/6 - 14:30)

[Tom Schrijvers]

Dear FP fans,

You are kindly invited to the seminar "Programming with types, generically!"
organized by the Programming Languages group on Wednesday 27/6 at 14:30.
The talk is aimed at an audience with a general computer science background.

Speaker:
Steven Keuchel is pursuing a PhD in the Programming Languages group of Ghent
University. Previously, he studied computer science at the
Westfälische Wilhelms-Universität Münster and Universiteit Utrecht,
and briefly worked at Google.

Title:
Programming with types, generically!

Abstract:

Many programming methods center around structuring data by
designing a datatype (or classes, grammars, XML Schemas, UML models,
etc.) and adding functionality to it. Part of the functionality is
specific to the intended use. Other functionality is, however, generic
and similar on different datatypes.

 Examples of such generic functionality are serialization, testing
for equality, ordering, parsing and pretty printing. Implementing
generic functionality is tiring and error-prone. Datatype-generic
programming (DGP) alleviates this burden from the programmer by
capturing generic functionality that only depends on the structure of
a datatype in generic functions, i.e. functions that are defined once
but can be used on many datatypes.

This talk gives an introduction to DGP and its concepts. We will
take a look at the class of regular tree types and generically define
equality, serialization and searching with tries on the whole class.

Location:
lecture room V2,
2nd floor, building S9, campus De Sterre
Krijgslaan 281
9000 Gent

--
prof. dr. ir. Tom Schrijvers

Programming Languages Group
Department of Applied Mathematics and Computer Science
University of Ghent

Krijgslaan 281 S9
9000 Gent
Belgium
Phone: +32 9 264 4805
http://users.ugent.be/~tschrijv/