Author:
Asai Kenichi,Fennell Luminous,Thiemann Peter,Zhang Yang
Reference30 articles.
1. M. S. Ager, O. Danvy, and H. K. Rohde. Fast partial evaluation of pattern matching in strings. ACM TOPLAS, 28(4):696--714, 2006.
2. K. Asai. Logical relations for call-by-value delimited continuations. In M. C. J. D. van Eekelen, editor, TFP 2005, volume 6 of Trends in Functional Programming, pages 63--78, Tallinn, Estonia, 2005. Intellect. ISBN 978-1-84150-176-5.
3. A. Bove, P. Dybjer, and U. Norell. A brief overview of Agda - a functional language with dependent types. In S. Berghofer, T. Nipkow, C. Urban, and M. Wenzel, editors, TPHOLs, volume 5674 of LNCS, pages 73--78, Munich, Germany, 2009. Springer. ISBN 978-3-642-03358-2.
4. C. Coquand. A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions. Higher-Order and Symbolic Computation, 15(1):57--90, 2002.
5. O. Danvy. Type-directed partial evaluation. In POPL 1996 [27], pages 242--257. ISBN 0-89791-769-3.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献