
7 Sep
2010
7 Sep
'10
8:37 a.m.
Hi Günther You might want to look at Samuel Kamin's work in the first instance. This was later extended by Conal Elliott and others to use typed representations (i.e. abstract syntax) - Samuel Kamin used quasi-quoted Strings. http://loome.cs.uiuc.edu/pubs.html Particularly these two: http://loome.cs.uiuc.edu/pubs/ml-meta-extabs.pdf http://loome.cs.uiuc.edu/pubs/ml-meta.pdf