Snippets tagged hoas

  • Scheme interpreter in F#

    A small Scheme interpreter using Higher Order Abstract Syntax (HOAS) encoding for terms. The essence of the technique is to use F# (meta-level) functions to encode Scheme (object-level) functions and other binding constructs, thus avoiding the need for representing variables, bindings, explicit substitution and dealing with shadowing.

    36 people like this

    Posted: 6 years ago by Anton Tayanovskyy

  • Staged HOAS

    Staged Higher-order abstract syntax via GADT encoding.

    0 people like this

    Posted: 6 months ago by Nick Palladinos