Author:
League Christopher,Monnier Stefan
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Appel, A.W.: Foundational proof-carrying code. In: Proc. IEEE Symp. on Logic in Computer Science (LICS), June 2001, pp. 247–258 (2001)
2. Barendregt, H.: Typed lambda calculi. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science, Oxford, vol. 2 (1992)
3. Bracha, G., Cook, W.: Mixin-based inheritance. In: Proc. Conf. on Object-Oriented Programming Systems, Languages, and Applications, October 1990, pp. 303–311 (1990)
4. Lecture Notes in Computer Science;K.B. Bruce,1997
5. Bruce, K.B., Cardelli, L., Pierce, B.C.: Comparing object encodings. Information and Computation 155(1–2), 108–133 (1999)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The swiss coercion;Proceedings of the 2007 workshop on Programming languages meets program verification;2007-10-02
2. Typed Compilation Against Non-manifest Base Classes;Construction and Analysis of Safe, Secure, and Interoperable Smart Devices;2006