A fine-grained notation for lambda terms and its use in intensional operations (1999)

by Gopalan Nadathur
Venue:Journal of Functional and Logic Programming