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?

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

Post a Comment

<< Home

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