Re: [isabelle] Fwd: Tutorial on Deep Embeddings



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

Cheers

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.
>
> http://www4.informatik.tu-muenchen.de/~nipkow/pubs/tphols04.html
>
> - 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.