4 ms·
I think this is missing mentioning: Object algebras: https://i.cs.hku.hk/~bruno/oa/ https://i.cs.hku.hk/~bruno/oa/ Tagless final: https://okmij.org/ftp/tagles
by mkleczek 1y ago
I think this is missing mentioning:
Object algebras: https://i.cs.hku.hk/~bruno/oa/ https://i.cs.hku.hk/~bruno/oa/
Tagless final: https://okmij.org/ftp/tagless-final/course/lecture.pdf https://okmij.org/ftp/tagless-final/course/lecture.pdf
and
Data types a’la carte: https://webspace.science.uu.nl/~swier004/publications/2008-jfp.pdf https://webspace.science.uu.nl/~swier004/publications/2008-j...