 
 
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.
 
