From: Reza R. <re...@ea...> - 2009-10-31 23:32:12
|
John Harrison wrote (1995) that reflection hasn't proven very useful in practice and it has workarounds in higher order logic: http://www.cl.cam.ac.uk/~jrh13/papers/reflect.ps.gz But in 2005 he said that "[...] Still some more impressive applications of reflection are starting to appear": http://www.cl.cam.ac.uk/~jrh13/slides/wg23-07jun05/slides.pdf What are these more impressive applications? Thanks a lot. Reza. |