Re: [isabelle] Fwd: Tutorial on Deep Embeddings



> Related to the e-mail below, I would be grateful with any (good) pointers
> (papers,
> books?, etc) on
> the topic "shallow and deep embedding of languages in (Isabelle/)HOL".
> It seems to be folklore, but not for a newbie like me.

See e.g.

http://www4.informatik.tu-muenchen.de/~nipkow/pubs/tphols04.html

- Gergely





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.