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:
<< Home
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
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.8533
# posted by 
: 3/6/08 8:50 AM
: 3/6/08 8:50 AM << Home
