Browse Research and Tech Reports - Computer Science by Subject "Higher-Order Abstract Syntax, Isabelle/HOL"

  • Andrei Popescu (2010)
    This collection of documents presents the Isabelle formalization of Higher-Order Abstract Syntax (HOAS) as a definitional layer on top of First-Order Abstract Syntax (FOAS). The formal scripts shown here are provided as a ...


    application/zipZIP (3Mb)
  • Andrei Popescu; Elsa L. Gunter; Christopher J. Osborn (2010)
    We present a point of view concerning HOAS (Higher-Order Abstract Syntax) and an extensive exercise in HOAS along this point of view. The point of view is that HOAS can be soundly and fruitfully regarded as a {\em ...


    application/pdfPDF (182Kb)