References

[1]

Luc Duponcheel and Doaitse Swierstra. A functional program for generating efficient functional LALR(1) parsers, September 2000. unpublished note.

[2]

Ralf Hinze and Ross Paterson. Derivation of a typed functional LR parser, 2005. in submission.

[3]

R. John Muir Hughes. A novel representation of lists and its application to the function “reverse”. Information Processing Letters, 22(3):141–144, March 1986.