Peter Verswyvelen bugfact at gmail.com
Wed Jul 15 11:53:52 EDT 2009

After my colleague explained me about zippers and how one could derive the

to calculate with types. The basics of structural calculations with types
are outlined in a separate chapter **Generic
* and we will heavily rely on this material"*
*
*
However, the generic programming link does not exist yet :-)

So although I now have a rough idea about it, I don't understand the details
yet, e.g. notation like

[image: \mathit{Node}\,A = \mu X.\,\mathit{NodeF}_A\,X]

doesn't make much sense to me yet, although I suspect I can read the mu as a
lambda on types?

Thanks,
Peter
*
*
-------------- next part --------------
An HTML attachment was scrubbed...