Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. M. Fiore, E. Moggi, and D Sangiorgi. A fully-abstract model for the pi-calculus. In 11th LICS Conference. IEEE, 1996.
2. K. Gomard and N. Jones. A partial evaluator for the untyped lambda calculus. J. of Func. Program., 1(1), 1991.
3. Carsten Krogh Gomard. Program Analysis Matters. PhD thesis, DIKU, November 1991. DIKU report 91/17.
4. K. Gomard. A self-applicable partial evaluator for the lambda calculus. ACM Trans. on Progr. Lang. and Systems, 14(2), 1992.
5. F. Henglein and C. Mossin. Polymorphic binding-time analysis. In D. Sanella, editor, ESOP'94, volume 788 of LNCS. Springer Verlag, 1994.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sparcl: A language for partially invertible computation;Journal of Functional Programming;2024
2. Embedding by Unembedding;Proceedings of the ACM on Programming Languages;2023-08-30
3. Sparcl: a language for partially-invertible computation;Proceedings of the ACM on Programming Languages;2020-08-02
4. HOBiT: Programming Lenses Without Using Lens Combinators;Programming Languages and Systems;2018
5. Two-level languages for program optimization;Theoretical Computer Science;2004-05