2.6.08

 

The Expression Lemma

Ralf Laemmel and Ondrej Rypacek have a paper in MPC 2008 on the duality of functions and objects, which they formalize as folds over algebras and unfolds over coalgebras, as a step toward deeper understanding of The Expression Problem. I like their idea of dual models of functions and objects as algebras and coalgebras, has this appeared elsewhere?

Comments:
I think Bart Jacobs has done work on coalgebraic models of OO systems.

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.8533
 
Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?