[isabelle] reflection semantics

Dear Isabelle users:
   I hear  that reflection is an interesting aspect in
   term-rewriting. Because Isabelle has close relationship with
   function programming and term-rewriting, I believe, many experts
   in Isabelle should be familar with reflection.
   Who can point out some interesting work on reflection, especially
   for a biginner which starts to learn reflection.

  Thanks in advance.


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