wolverian / parser-combinators

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

------------------------------------------------------------------------
Total parser combinators and parsing of mixfix operators
------------------------------------------------------------------------

TotalRecognisers and TotalParserCombinators
Author: Nils Anders Danielsson

  Described in the paper "Total Parser Combinators".

StructurallyRecursiveDescentParsing
Authors: Nils Anders Danielsson and Ulf Norell

  Described in the paper "Structurally Recursive Descent Parsing".
  This paper draft may currently be a bit out of date.

Mixfix
Author: Nils Anders Danielsson

  Described in the paper "Parsing Mixfix Operators" (coauthored by Ulf
  Norell).

About

License:MIT License


Languages

Language:Agda 99.7%Language:Coq 0.3%