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