Author:
Vytiniotis Dimitrios,Weirich Stephanie
Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. Step-indexed syntactic logical relations for recursive and quantified types;Ahmed,2006
2. An indexed model of recursive types for foundational proof-carrying code;Appel;ACM Trans. Program. Lang. Syst.,2001
3. Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, and Steve Zdancewic. Mechanized metatheory for the masses: The POPLmark challenge. In The 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs), pages 50–65, Oxford, UK, August 2005
4. Relational interpretations of recursive types in an operational setting;Birkedal,1997
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献