Author:
Hirschowitz Tom,Leroy Xavier,Wells J. B.
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Reference32 articles.
1. Appel, A.W.: Compiling with Continuations. Cambridge University Press, Cambridge (1992)
2. Ariola, Z.M., Blom, S.: Skew confluence and the lambda calculus with letrec. Ann. Pure Appl. Log. 117(1–3), 95–178 (2002)
3. Boudol, G.: The recursive record semantics of objects revisited. J. Funct. Program. 14(3), 263–315 (2004)
4. Boudol, G., Zimmer, P.: Recursion in the call-by-value lambda-calculus. In: Ésik, Z., Ingólfsdóttir, A. (eds.) Fixed Points in Computer Science. BRICS Notes Series, vol. NS-02-2, pp. 61–66 (2002)
5. Lecture Notes in Computer Science;L. Cardelli,1984
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model;Proceedings of the ACM on Programming Languages;2022-10-31
2. A practical mode system for recursive definitions;Proceedings of the ACM on Programming Languages;2021-01-04
3. Recursive Array Comprehensions in a Call-by-Value Language;Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages;2017-08-30