HIGHER-ORDER SUBTYPING

被引：0
|
作者：
STEFFEN, M [1 ]
PIERCE, B [1 ]
机构：
[1] UNIV EDINBURGH, DEPT COMP SCI, EDINBURGH EH9 3JZ, MIDLOTHIAN, SCOTLAND
来源：
PROGRAMMING CONCEPTS, METHODS AND CALCULI | 1994年 / 56卷
关键词：
OBJECT-ORIENTED PROGRAMMING (D.1.5); FORMAL DEFINITIONS AND THEORY (D.3.1); SEMANTICS OF PROGRAMMING LANGUAGES (F.3.2); STATIC TYPE SYSTEMS; LAMBDA-CALCULUS; POLYMORPHISM; SUBTYPING;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
System F-less than or equal to(w) is an extension with subtyping of Girard's higher-order polymorphic lambda-calculus. We develop the fundamental metatheory of this calculus: decidability of beta-conversion on well-kinded types, elimination of the ''cut-rule'' of transitivity from the subtype relation, and the soundness, completeness, and termination of algorithms for subtyping and typechecking.
引用
收藏
页码：511 / 530
页数：20
相关论文
共 50 条
  • [31] Higher-Order Components Dictate Higher-Order Contagion Dynamics in Hypergraphs
    Kim, Jung -Ho
    Goh, K. -, I
    [J]. PHYSICAL REVIEW LETTERS, 2024, 132 (08)
  • [32] HIGHER-ORDER DIFFERENTIAL-EQUATIONS AND HIGHER-ORDER LAGRANGIAN MECHANICS
    CRAMPIN, M
    SARLET, W
    CANTRIJN, F
    [J]. MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1986, 99 : 565 - 587
  • [33] HIGHER-ORDER APLANATISM
    SCHULZ, G
    [J]. OPTICS COMMUNICATIONS, 1982, 41 (05) : 315 - 319
  • [34] Higher-Order Containers
    Altenkirch, Thorsten
    Levy, Paul
    Staton, Sam
    [J]. PROGRAMS, PROOFS, PROCESSES, 2010, 6158 : 11 - +
  • [35] Higher-order tableaux
    Kohlhase, M
    [J]. THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1995, 918 : 294 - 309
  • [36] HIGHER-ORDER AUTOSHAPING
    LEYLAND, CM
    [J]. QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY, 1977, 29 (NOV): : 607 - 619
  • [37] On higher-order discriminants
    Kostov, Vladimir Petrov
    [J]. BULLETIN DES SCIENCES MATHEMATIQUES, 2020, 160
  • [38] Higher-order evidence
    Stephen R. Cole
    Bonnie E. Shook-Sa
    Paul N. Zivich
    Jessie K. Edwards
    David B. Richardson
    Michael G. Hudgens
    [J]. European Journal of Epidemiology, 2024, 39 : 1 - 11
  • [39] Higher-order learning
    Lewis S.
    [J]. Nature Reviews Neuroscience, 2021, 22 (2) : 75 - 75
  • [40] Higher-Order Stereophony
    Hollebon, Jacob
    Fazi, Filippo Maria
    [J]. IEEE-ACM TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2023, 31 : 2872 - 2885
12345