| Olivier Danvy and Ulrik P. Schultz. Lambda-lifting in quadratic time. Journal of Functional and Logic Programming, 10(1), July 2004. Available online at http://danae.uni-muenster.de/lehre/kuchen/JFLP/. |
No context found.
Olivier Danvy and Ulrik P. Schultz. Lambda-lifting in quadratic time. In Zhenjiang Hu and Mario Rodriguez-Artalejo, editors, Sixth International Symposium on Functional and Logic Programming, number 2441 in Lecture Notes in Computer Science, pages 134--151, Aizu, Japan, September 2002. Springer-Verlag. Extended version available as the technical report BRICSRS -03-26.
No context found.
Olivier Danvy and Ulrik P. Schultz. Lambda-lifting in quadratic time. Journal of Functional and Logic Programming, 10(1), July 2004. Available online at http://danae.uni-muenster.de/lehre/kuchen/JFLP/.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC