HOAS -- Higher Order Abstract Syntax: a Survey
by Regina Barzilay
I will introduce HOAS, and run a short survey over current work in the field. I will discuss several papers, listed below, describing problematic issues from the literature. I will also discuss the relationship between our current syntax mechanism and other HOAS work. The main problems of HOAS that will be discussed are "exotic" terms and induction.
See Bibliography for papers on which the survey is based.