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.

- Gergely

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