Seminariteade / Seminar announcement

Speaker: Johan GLIMMING, Dept. of Numerical Analysis and Computer Science (NADA), Royal Institute of Technology (KTH), Sweden
Place: Room B101, Cybernetica Bldg, Akadeemia tee 21, Tallinn, Estonia
Time: Thursday, March 10, 2005, 14:00

"Dialgebraic techniques for object-based programming"


Algebraic techniques have been used in functional programming for a long time. For example, the Bird-Meertens formalism provides a framework in which we can derive generic programs using algebraic laws. Similarly, coalgebraic techniques have been used for class-based languages, e.g., for proving implementations correct with respect to a coalgebraic specification.

In this talk I will discuss the use of dialgebras, which arise from mixed-variance functors, in object-based programming. Initial dialgebras are used as a model of object types. Compared to coalgebras, this model of objects treats methods as first-class and therefore makes it possible to define new classes by recursion on the methods of previously defined classes. I will show that direcursion, a universal construction on a suitable category of dialgebras, provides a computation principle that can be used when programming with structures such as linked lists, and for reasoning with design patterns arising in object-based languages. I will contrast these examples to algebraic and coalgebraic techniques and show some examples in Haskell.

Valid CSS! Valid XHTML 1.0 Strict

© Institute of Cybernetics at TUT, Akadeemia tee 21, 12618 Tallinn, Estonia    Phone: +372 620 4150   Fax: +372 620 4151

02/06/2005 11:49 EEST webmaster ( at )