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

  • Popescu, Andrei (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)
  • Popescu, Andrei; Gunter, Elsa L.; Osborn, Christopher J. (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)