Re: [isabelle] Fwd: Tutorial on Deep Embeddings

Thanks Gergely. The abstract itself already points to what is essential.
It will be a great read.


On Fri, Jan 21, 2011 at 12:04 PM, Gergely Buday <gbuday at> wrote:

> > 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

Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Porto Alegre - RS - Brasil

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