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 gmail.com> 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