GitHub - nad/parser-combinators

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 557 Commits
Mixfix		Mixfix
StructurallyRecursiveDescentParsing		StructurallyRecursiveDescentParsing
TotalParserCombinators		TotalParserCombinators
TotalRecognisers		TotalRecognisers
misc		misc
.gitignore		.gitignore
LICENCE		LICENCE
Mixfix.agda		Mixfix.agda
README		README
StructurallyRecursiveDescentParsing.agda		StructurallyRecursiveDescentParsing.agda
TotalParserCombinators.agda		TotalParserCombinators.agda
TotalRecognisers.agda		TotalRecognisers.agda
parser-combinators.agda-lib		parser-combinators.agda-lib

Repository files navigation

------------------------------------------------------------------------
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).