Monadic parsing in Haskell

QR Code

Monadic parsing in Haskell

This paper is a tutorial on defining recursive descent parsers in Haskell. In the spirit of one-stop shopping, the paper combines material from three areas into a single source. The three areas are functional parsers, the use of monads to structure functional programs, and the use of special syntax...

Full description

Bibliographic Details
Main Authors:	Hutton, Graham, Meijer, Erik
Format:	Article
Published:	Cambridge University Press 1998
Online Access:	https://eprints.nottingham.ac.uk/223/

Similar Items

Monadic parser combinators
by: Hutton, Graham, et al.
Published: (1996)

Higher-Order Functions for Parsing
by: Hutton, Graham
Published: (1992)

AutoBench: comparing the time performance of Haskell programs
by: Handley, Martin A.T., et al.
Published: (2018)

Theorem proving for all: equational reasoning in Liquid Haskell
by: Vazou, Niki, et al.
Published: (2018)

Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)

Relative monads formalised
by: Altenkirch, Thorsten, et al.
Published: (2014)

Monads need not be endofunctors
by: Altenkirch, Thorsten, et al.
Published: (2015)

Bananas in space: extending fold and unfold to exponential types
by: Meijer, Erik, et al.
Published: (1995)

Back to Basics: Deriving Representation Changers Functionally
by: Hutton, Graham, et al.
Published: (1996)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

Parsing algorithms for grammars with regulated rewriting
by: Turaev, Sherzod, et al.
Published: (2011)

Lifting of operations in modular monadic semantics
by: Jaskelioff, Mauro Javier
Published: (2009)

Unified notions of generalised monads and applicative functors
by: Bracker, Jan
Published: (2018)

The functional dendritic cell algorithm: a formal specification with Haskell
by: Greensmith, Julie, et al.
Published: (2017)

A tool for relational programmers
by: Hutton, Graham, et al.
Published: (1994)

Visualization of subjective extracted text using the parse tree
by: Mirzabeiki, Erfan, et al.
Published: (2014)

Honouring Dennis Haskell: a poet, and an amigo of Asiatic and Asian literature
by: Quayum, Mohammad Abdul
Published: (2019)

Partiality, revisited: the partiality monad as a quotient inductive-inductive type
by: Altenkirch, Thorsten, et al.
Published: (2016)

Partiality, revisited: the partiality monad as a quotient inductive-inductive type
by: Altenkirch, Thorsten, et al.
Published: (2017)

Watson–Crick context-free grammars: Grammar simpliﬁcations and a parsing algorithm
by: Mohamad Zulkufli, Nurul Liyana, et al.
Published: (2018)

Visualization of extracted grammatical role of words using parse tree conversion to improve understanding of English texts
by: Mirzabeiki, Erfan
Published: (2014)

Pigeons: a novel GUI software for analysing and parsing high density heterologous oligonucleotide microarray probe level data
by: Lai, Hung-Ming, et al.
Published: (2014)

Parsing the contributions of the BCL-2 anti-apoptotic proteins in mediating survival of nasopharyngeal carcinoma cell line HK1 using BCL-2 selective inhibitors
by: Siti Fairus Abdul Rahman,, et al.
Published: (2020)

Fold and Unfold for Program Semantics
by: Hutton, Graham
Published: (1998)

Between functions and relations in calculating programs
by: Hutton, Graham
Published: (1992)

The Countdown Problem
by: Hutton, Graham
Published: (2002)

The Ruby Interpreter
by: Hutton, Graham
Published: (1993)

Functional Programming With Relations
by: Hutton, Graham
Published: (1991)

A Relational Derivation of a Functional Program
by: Hutton, Graham
Published: (1992)

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
by: Hutton, Graham
Published: (1994)

Report on BCTCS 2005
by: Hutton, Graham
Published: (2005)

A Tutorial on the Universality and Expressiveness of Fold
by: Hutton, Graham
Published: (1999)

Worker/wrapper/makes it/faster
by: Hackett, Jennifer, et al.
Published: (2014)

Work it, wrap it, fix it, fold it
by: Sculthorpe, Neil, et al.
Published: (2014)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Compiling concurrency correctly: cutting out the middle man
by: Hu, Liyang, et al.
Published: (2010)

Compact fusion
by: Hope, Catherine, et al.
Published: (2006)

Calculating an exceptional machine
by: Hutton, Graham, et al.
Published: (2006)

The Generic Approximation Lemma
by: Hutton, Graham, et al.
Published: (2001)