The paper develops a generalised parsing procedure (FUN-GLL) and derives parser combinators, i.e., core front-end technology in the compilation pipeline.
It provides an embedded “BNF combinator library” that effectively acts as a meta-language for writing executable syntax specifications with semantic actions.
