HOAS -- Higher Order Abstract Syntax: a Survey

by Regina Barzilay
2002-2003

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.

HOAS -- Higher Order Abstract Syntax: a Survey

by Regina Barzilay 2002-2003

by Regina Barzilay
2002-2003