Context-sensitive computations in functional and functional logic programs (1998)

by S Lucas
Venue:Journal of Functional and Logic Programming