Relational Parametricity for Control Considered as a Computational Effect
- 作者Rasmus Ejlers Møgelberg; Alex Simpson
- 卷第173卷
- 印刷ISSN1571-0661
- 文件大小372.36KB
- 发表时间2007
- DOI10.1016/j.entcs.2007.02.040
- 页码295-312
同作者推荐
PrefaceAlberto Momigliano; Brigitte Pientka · 2007
PrefaceBrigitte Pientka; Carsten Schürmann · 2008
Connection-Driven Inductive Theorem ProvingChristoph Kreitz; Brigitte Pientka · Studia Logica · 2001
Contextual modal type theoryNanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte · ACM Transactions on Computational Logic · 2008
Wellfounded recursion with copatternsAbel, Andreas M.; Pientka, Brigitte · ACM SIGPLAN Notices · 2013
Intuitionistic Modal Logic and Applications (IMLA 2008)Valeria de Paiva; Brigitte Pientka · 2011
Case Analysis of Higher-Order DataJoshua Dunfield; Brigitte Pientka · 2009
Higher-order term indexing using substitution treesPientka, Brigitte · ACM Transactions on Computational Logic · 2009