Coinductive techniques for higher-order languages

被引：0

|

作者：

Sangiorgi, Davide ^{[1
,2
]}

机构：

[1] Univ Bologna, Bologna, Italy

[2] INRIA, Paris, France

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2013年 / 131期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：1 / +

页数：5

相关论文

共 50 条

[31] A CATEGORICAL FRAMEWORK FOR CONGRUENCE OF APPLICATIVE BISIMILARITY IN HIGHER-ORDER LANGUAGES
Hirschowitz, Tom
Lafont, Ambroise
LOGICAL METHODS IN COMPUTER SCIENCE, 2022, 18 (03) : 37:1 - 37:72
[32] Security type error diagnosis for higher-order, polymorphic languages
Weijers, Jeroen
Hage, Jurriaan
Holdermans, Stefan
SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 200 - 218
[33] Type error slicing in implicitly typed higher-order languages
Haack, C
Wells, JB
PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 284 - 301
[34] Type error slicing in implicitly typed higher-order languages
Haack, C
Wells, JB
SCIENCE OF COMPUTER PROGRAMMING, 2004, 50 (1-3) : 189 - 224
[35] A congruence theorem for structured operational semantics of higher-order languages
Bernstein, KL
THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 153 - 164
[36] MAF: A Framework for Modular Static Analysis of Higher-Order Languages
Van Es, Noah
Van der Plas, Jens
Stievenart, Quentin
De Roover, Coen
2020 20TH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM 2020), 2020, : 37 - 42
[37] BINDING TIME ANALYSIS FOR POLYMORPHICALLY TYPED HIGHER-ORDER LANGUAGES
MOGENSEN, TAE
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 298 - 312
[38] Static and dynamic processor allocation for higher-order concurrent languages
Nielson, HR
Nielson, F
TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 590 - 604
[39] HIGHER-ORDER OBJECTS IN PURE OBJECT-ORIENTED LANGUAGES
KUHNE, T
SIGPLAN NOTICES, 1994, 29 (07): : 15 - 20
[40] Higher-Order Intentionality and Higher-Order Acquaintance
Benj Hellie
Philosophical Studies, 2007, 134 : 289 - 324

← 1 2 3 4 5 →