Stem hoa$ (all stems)

4 papers:

LICS-2010-PopescuGO #normalisation #system f

Strong Normalization for System F by HOAS on Top of FOAS (AP, ELG, CJO), pp. 31–40.

ICFP-2006-HickeyNYK #hybrid #representation #using

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.

PPDP-2003-MiculanS #framework #semantics

A framework for typed HOAS and semantics (MM, IS), pp. 184–194.

ICALP-2001-HonsellMS #algebra #approach #axiom

An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS (FH, MM, IS), pp. 963–978.