Author:
Nishida Naoki,Vidal Germán
Funder
Ministerio de Ciencia e Innovación (Secretaría de Estado de Investigación)
Generalitat Valenciana
MEXT KAKENHI
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference12 articles.
1. Program inversion for tail recursive functions;Nishida,2011
2. Functional Programming;Field,1988
3. Call-by-name, call-by-value and the lambda-calculus;Plotkin;Theor. Comput. Sci.,1975
4. Rabbit: A compiler for Scheme;Steele,1978
5. Continuation-based program transformation strategies;Wand;J. ACM,1980
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献