Author:
Ciaffaglione Alberto,Liquori Luigi,Miculan Marino
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Abadi, M., Cardelli, L.: A theory of objects. Springer, Heidelberg (1996)
2. Lecture Notes in Computer Science;M. Abadi,1997
3. Lecture Notes in Computer Science,1994
4. Lecture Notes in Computer Science;G. Barthe,2002
5. Bertot, Y.: A certified compiler for an imperative language. Technical Report INRIA (1998)
Cited by
4 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. Typed Compilation Against Non-manifest Base Classes;Construction and Analysis of Safe, Secure, and Interoperable Smart Devices;2006
4. Imperative Object-Based Calculi in Co-inductive Type Theories;Logic for Programming, Artificial Intelligence, and Reasoning;2003