Skip to search formSkip to main contentSkip to account menu

Higher-order abstract syntax

Known as: HOAS, Higher order abstract syntax 
In computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Adequacy is an important criterion for judging whether a formalization is suitable for reasoning about the actual object of study… 
2010
2010
We present recent work on the Hybrid system, a logical framework for specifying and reasoning about languages and deductive… 
2010
2010
Higher Order Abstract Syntax, or HOAS, is a technique for using a higher-order logic as a metalanguage for an object language… 
2009
2009
We develop a general tool to formalize and reason about languages expressed using higher-order abstract syntax in a proof-tool… 
2007
2007
We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is… 
2006
2006
The use of higher-order abstract syntax is an important approach for the representation of binding constructs in encodings of… 
Review
2006
Review
2006
A recent SIGACT News Logic column, guest-written by James Cheney<a href="http://doi.acm.org/10.1145/1107523.1107537">DOI =10.1145… 
2006
2006
This article responds to a critique of higher-order abstract syntax appearing in Logic Column 14, ``Nominal Logic and Abstract… 
2003
2003
Combining Higher Order Abstract Syntax (HOAS) and (co)- induction is well known to be problematic. In previous work [1] we have… 
1999
1999
A choke-check valve for use as with a fluid motor to cushion the piston thereof as it approaches the end of its stroke…