Monadic parser combinators
In functional programming, a popular approach to building recursive descent parsers is to model parsers as functions, and to define higher-order functions (or combinators) that implement grammar constructions such as sequencing, choice, and repetition. Such parsers form an instance of a monad, an al...
| Main Authors: | , |
|---|---|
| Format: | Monograph |
| Published: |
School of Computer Science and IT
1996
|
| Online Access: | https://eprints.nottingham.ac.uk/237/ |
Similar Items
Monadic parsing in Haskell
by: Hutton, Graham, et al.
Published: (1998)
by: Hutton, Graham, et al.
Published: (1998)
Creating Extraction Pattern by Combining Part
of Speech Tagger and Grammatical Parser
by: Sari, Y., et al.
Published: (2009)
by: Sari, Y., et al.
Published: (2009)
Relative monads formalised
by: Altenkirch, Thorsten, et al.
Published: (2014)
by: Altenkirch, Thorsten, et al.
Published: (2014)
Monads need not be endofunctors
by: Altenkirch, Thorsten, et al.
Published: (2015)
by: Altenkirch, Thorsten, et al.
Published: (2015)
Back to Basics: Deriving Representation Changers Functionally
by: Hutton, Graham, et al.
Published: (1996)
by: Hutton, Graham, et al.
Published: (1996)
Bananas in space: extending fold and unfold to exponential types
by: Meijer, Erik, et al.
Published: (1995)
by: Meijer, Erik, et al.
Published: (1995)
The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)
by: Capretta, Venanzio, et al.
Published: (2017)
The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)
by: Capretta, Venanzio, et al.
Published: (2017)
A Comparative Study and Benchmarking on XML Parsers
by: Haw, Su Cheng, et al.
Published: (2007)
by: Haw, Su Cheng, et al.
Published: (2007)
The UML model for parser in program understanding system.
by: Rosidi, Norazimah, et al.
Published: (2011)
by: Rosidi, Norazimah, et al.
Published: (2011)
An OOAD model of program understanding system’s parser.
by: Rosidi, Norazimah, et al.
Published: (2013)
by: Rosidi, Norazimah, et al.
Published: (2013)
Lifting of operations in modular monadic semantics
by: Jaskelioff, Mauro Javier
Published: (2009)
by: Jaskelioff, Mauro Javier
Published: (2009)
Iban language parser using rule based approach
by: Chia, Yong Seng
Published: (2010)
by: Chia, Yong Seng
Published: (2010)
Unified notions of generalised monads and applicative functors
by: Bracker, Jan
Published: (2018)
by: Bracker, Jan
Published: (2018)
A tool for relational programmers
by: Hutton, Graham, et al.
Published: (1994)
by: Hutton, Graham, et al.
Published: (1994)
The effectiveness of bottom up technique with probabilistic approach for a Malay parser
by: Muhammad Azhar Fairuzz Hiloh,, et al.
Published: (2018)
by: Muhammad Azhar Fairuzz Hiloh,, et al.
Published: (2018)
Partiality, revisited: the partiality monad as a quotient inductive-inductive type
by: Altenkirch, Thorsten, et al.
Published: (2016)
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)
by: Altenkirch, Thorsten, et al.
Published: (2017)
Between functions and relations in calculating programs
by: Hutton, Graham
Published: (1992)
by: Hutton, Graham
Published: (1992)
The Countdown Problem
by: Hutton, Graham
Published: (2002)
by: Hutton, Graham
Published: (2002)
Fold and Unfold for Program Semantics
by: Hutton, Graham
Published: (1998)
by: Hutton, Graham
Published: (1998)
The Ruby Interpreter
by: Hutton, Graham
Published: (1993)
by: Hutton, Graham
Published: (1993)
Functional Programming With Relations
by: Hutton, Graham
Published: (1991)
by: Hutton, Graham
Published: (1991)
A Relational Derivation of a Functional Program
by: Hutton, Graham
Published: (1992)
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)
by: Hutton, Graham
Published: (1994)
Report on BCTCS 2005
by: Hutton, Graham
Published: (2005)
by: Hutton, Graham
Published: (2005)
Higher-Order Functions for Parsing
by: Hutton, Graham
Published: (1992)
by: Hutton, Graham
Published: (1992)
A Tutorial on the Universality and Expressiveness of Fold
by: Hutton, Graham
Published: (1999)
by: Hutton, Graham
Published: (1999)
Worker/wrapper/makes it/faster
by: Hackett, Jennifer, et al.
Published: (2014)
by: Hackett, Jennifer, et al.
Published: (2014)
Work it, wrap it, fix it, fold it
by: Sculthorpe, Neil, et al.
Published: (2014)
by: Sculthorpe, Neil, et al.
Published: (2014)
Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)
by: Day, Laurence, et al.
Published: (2012)
Compiling concurrency correctly: cutting out the middle man
by: Hu, Liyang, et al.
Published: (2010)
by: Hu, Liyang, et al.
Published: (2010)
Compact fusion
by: Hope, Catherine, et al.
Published: (2006)
by: Hope, Catherine, et al.
Published: (2006)
Calculating an exceptional machine
by: Hutton, Graham, et al.
Published: (2006)
by: Hutton, Graham, et al.
Published: (2006)
The Generic Approximation Lemma
by: Hutton, Graham, et al.
Published: (2001)
by: Hutton, Graham, et al.
Published: (2001)
Proof Methods for Corecursive Programs
by: Hutton, Graham, et al.
Published: (2005)
by: Hutton, Graham, et al.
Published: (2005)
Compiling Exceptions Correctly
by: Hutton, Graham, et al.
Published: (2004)
by: Hutton, Graham, et al.
Published: (2004)
Categories, Allegories, and Circuit Design
by: Brown, Carolyn, et al.
Published: (1994)
by: Brown, Carolyn, et al.
Published: (1994)
Calculating an Exceptional Machine
by: Hutton, Graham, et al.
Published: (2005)
by: Hutton, Graham, et al.
Published: (2005)
Proof methods for structured corecursive programs
by: Gibbons, Jeremy, et al.
Published: (1999)
by: Gibbons, Jeremy, et al.
Published: (1999)