Author:
Ciaffaglione Alberto,Liquori Luigi,Miculan Marino
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference54 articles.
1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Berlin Heidelberg New York (1996)
2. Barendregt, H., Nipkow, T. (eds.): In: Proceedings of TYPES. Lecture Notes in Computer Science, vol. 806 (1994)
3. Bertot, Y.: A certified compiler for an imperative language. Technical Report RR-3488, INRIA (1998)
4. Bucalo, A., Hofmann, M., Honsell, F., Miculan, M., Scagnetto, I.: Consistency of the theory of contexts. J. Funct. Program. 16(3), 327–395 (2006)
5. Burstall, R., Honsell, F.: Operational semantics in a natural deduction setting. In: Huet, G., Plotkin, G. (eds.) Logical Frameworks, pp. 185–214. Cambridge University Press (1990)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mechanizing type environments in weak HOAS;Theoretical Computer Science;2015-11
2. A weak HOAS approach to the POPLmark Challenge;Electronic Proceedings in Theoretical Computer Science;2013-03-28
3. ASPfun : A typed functional active object calculus;Science of Computer Programming;2012-07
4. Hybrid;Journal of Automated Reasoning;2010-08-07
5. A Mechanized Model of the Theory of Objects;Lecture Notes in Computer Science;2007