Subject
General Computer Science,Theoretical Computer Science
Reference36 articles.
1. Abadi, M. and G.D. Plotkin, A per model of polymorphism and recursive types, in: LICS [13], pp. 355–365
2. Ahmed, A., Step-indexed syntactic logical relations for recursive and quantified types, in: Fifteenth European Symposium on Programming, Vienna, Austria, 2006, pp. 69–83
3. An indexed model of recursive types for foundational proof-carrying code;Appel;ACM Trans. Program. Lang. Syst.,2001
4. Relational interpretations of recursive types in an operational setting;Birkedal;Information and Computation,1999
5. Filinski, A., On the relations between monadic semantics, in: John Reynolds Festschrift, 2007 To appear
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献