HIGHER-ORDER UNIFICATION WITH DEPENDENT FUNCTION TYPES

被引：0
|
作者：
ELLIOTT, CM
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 355卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：121 / 136
页数：16
相关论文
共 50 条
  • [41] Higher-Order Pattern Anti-Unification in Linear Time
    Baumgartner, Alexander
    Kutsia, Temur
    Levy, Jordi
    Villaret, Mateu
    JOURNAL OF AUTOMATED REASONING, 2017, 58 (02) : 293 - 310
  • [42] Higher-Order unification for free! Reusing the meta-language unification for the object language
    Fissore, Davide
    Tassi, Enrico
    26TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2024, 2024,
  • [43] Practical higher-order pattern unification with on-the-fly raising
    Nadathur, G
    Linnell, N
    LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 371 - 386
  • [44] Higher-Order Pattern Anti-Unification in Linear Time
    Alexander Baumgartner
    Temur Kutsia
    Jordi Levy
    Mateu Villaret
    Journal of Automated Reasoning, 2017, 58 : 293 - 310
  • [45] HIGHER-ORDER UNIFICATION REVISITED - COMPLETE-SETS OF TRANSFORMATIONS
    SNYDER, W
    GALLIER, J
    JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (1-2) : 101 - 140
  • [46] Higher-Order Patterns in Replicated Data Types
    Leijnse, Adriaan
    Almeida, Paulo Sergio
    Baquero, Carlos
    PAPOC '19: PROCEEDINGS OF THE 6TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, 2019,
  • [47] ISOMORPHISMS OF TYPES IN THE PRESENCE OF HIGHER-ORDER REFERENCES
    Clairambault, Pierre
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
  • [48] Refinement Types as Higher-Order Dependency Pairs
    Roux, Cody
    22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 299 - 312
  • [49] Stateless Higher-Order Logic with Quantified Types
    Austin, Evan
    Alexander, Perry
    INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 469 - 476
  • [50] Isomorphisms of types in the presence of higher-order references
    Clairambault, Pierre
    26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011), 2011, : 152 - 161
12345