An Extensional Characterization of Lambda-Lifting and Lambda-Dropping (1999)

Cached

Download Links

by Olivier Danvy , Olivier Danvy
Venue:In Aart Middeldorp and Taisuke Sato, editors, 4th Fuji International Symposium on Functional and Logic Programming (FLOPS’99
Citations:13 - 4 self