Higher-order subtyping (vol 176, pg 235, 1997)

被引：8

|

作者：

Pierce, B ^{[1
]}

Steffen, M ^{[1
]}

机构：

[1] UNIV ERLANGEN NURNBERG,IMMD VII,D-91058 ERLANGEN,GERMANY

来源：

THEORETICAL COMPUTER SCIENCE | 1997年 / 184卷 / 1-2期

关键词：

D O I：

10.1016/S0304-3975(97)00112-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：247 / 247

页数：1

相关论文

共 50 条

[1] HIGHER-ORDER SUBTYPING
STEFFEN, M
PIERCE, B
PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 : 511 - 530
[2] Higher-order subtyping
Pierce, B
Steffen, M
THEORETICAL COMPUTER SCIENCE, 1997, 176 (1-2) : 235 - 282
[3] Higher-order subtyping and its decidability
Compagnoni, A
INFORMATION AND COMPUTATION, 2004, 191 (01) : 41 - 103
[4] Syntactic Metatheory of Higher-Order Subtyping
Abel, Andreas
Rodriguez, Dulma
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2008, 5213 : 446 - 460
[5] Foundations for the implementation of higher-order subtyping
Crary, K
ACM SIGPLAN NOTICES, 1997, 32 (08) : 125 - 135
[6] Anti-symmetry of higher-order subtyping and equality by subtyping
Compagnoni, A
Goguen, H
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2006, 16 (01) : 41 - 65
[7] A typed semantics of higher-order store and subtyping
Schwinghammer, J
THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3701 : 390 - 405
[8] Decidability of higher-order subtyping with intersection types
Compagnoni, AB
COMPUTER SCIENCE LOGIC, 1995, 933 : 46 - 60
[9] Typed operational semantics for higher-order subtyping
Compagnoni, A
Goguen, H
INFORMATION AND COMPUTATION, 2003, 184 (02) : 242 - 297
[10] A Theory of Higher-Order Subtyping with Type Intervals
Stucki, Sandro
Giarrusso, Paolo G.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5

← 1 2 3 4 5 →