|
|
1 Combinator Parsing: A Short Tutorial
– S. Doaitse Swierstra, S. Doaitse Swierstra
- 2009
|
|
5
|
Parallel Parsing Processes
– Koen Claessen
|
|
10
|
Arrows, like monads, are monoids
– Chris Heunen, Bart Jacobs
- 2006
|
|
40
|
A new notation for arrows
– Ross Paterson
- 2001
|
|
1
|
Parsec, a fast combinator parser
– Daan Leijen
- 2001
|
|
7
|
Combinator parsing: A short tutorial
– S. Doaitse Swierstra
|
|
|
Persing permutation phrases
– Arthur Baars, S. Doaitse Swierstra
- 2001
|
|
|
Domain-Specific Embedded Languages
– Kevin Backhouse
- 2002
|
|
18
|
Parsing Permutation Phrases
– Arthur Baars, Andres Löh, S. Doaitse Swierstra
- 2001
|
|
|
Under consideration for publication in J. Functional Programming 1 The Arrow Calculus
– Sam Lindley, Philip Wadler, Jeremy Yallop
|
|
5
|
The arrow calculus
– Sam Lindley, Philip Wadler, Jeremy Yallop
- 2008
|
|
8
|
Lazy Lexing is Fast
– Manuel M.T. Chakravarty
- 1999
|
|
1
|
Parameterized LR Parsing
– Peter Thiemann, Matthias Neubauer
- 2004
|
|
3
|
Post-Design Domain-Specific Language Embedding: a Case Study
– Anthony M. Sloane
|
|
75
|
Haskell and XML: Generic Combinators or Type-Based Translation?
– Malcolm Wallace, Colin Runciman
- 1999
|
|
9
|
Feedback in an interactive equation solver
– Harrie Passier, Harrie Passier, Johan Jeuring, Johan Jeuring, Heerlen The Netherlands
- 2006
|
|
7
|
Recognizing Strategies
– Bastiaan Heeren, Johan Jeuring, Bastiaan Heeren, Johan Jeuring
- 2008
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
|
Towards a Categorical Axiomatics of Bisimulation
– Gian Luca Cattani, A. John Power, Glynn Winskel
- 1999
|
