Type inference with extended pattern matching and subtypes

被引：0
|
作者：
Jategaonkar, Lalita A. [1 ]
Mitchell, John C. [1 ]
机构：
[1] Massachusetts Inst of Technology, Cambridge, United States
来源：
Fundamenta Informaticae | 1993年 / 19卷 / 1-2期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：127 / 165
相关论文
共 50 条
  • [1] Type inference for unique pattern matching
    Vansummeren, Stijn
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2006, 28 (03): : 389 - 428
  • [2] Type Inference for Regular Expression Pattern Matching
    Marin, Mircea
    Craciun, Adrian
    12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), 2011, : 366 - 373
  • [3] TYPE INFERENCE WITH SUBTYPES
    FUH, YC
    MISHRA, P
    THEORETICAL COMPUTER SCIENCE, 1990, 73 (02) : 155 - 175
  • [4] TYPE INFERENCE WITH SUBTYPES
    FUH, YC
    MISHRA, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 300 : 94 - 114
  • [5] Pattern matching in trace monoids (extended abstract)
    Messner, J
    STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1997, 1200 : 571 - 582
  • [6] A Dependently Typed Calculus with Pattern Matching and Erasure Inference
    Tejiscak, Matus
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (ICFP):
  • [7] A negative result on inductive inference of extended pattern languages
    Reidenbach, D
    ALGORITHMIC LEARNING THEORY, PROCEEDINGS, 2002, 2533 : 308 - 320
  • [8] An extended segment pattern dictionary for a pattern matching tracking algorithm at BESIII
    Ma Chang-Li
    Zhang Yao
    Yuan Ye
    Lu Xiao-Rui
    Zheng Yang-Heng
    He Kang-Li
    Li Wei-Dong
    Liu Huai-Min
    Ma Qiu-Mei
    Wu Ling-Hui
    CHINESE PHYSICS C, 2013, 37 (06)
  • [9] An extended segment pattern dictionary for a pattern matching tracking algorithm at BES Ⅲ
    马长利
    张瑶
    袁野
    吕晓睿
    郑阳恒
    何康林
    李卫东
    刘怀民
    马秋梅
    伍灵慧
    Chinese Physics C, 2013, (06) : 72 - 78
  • [10] An extended segment pattern dictionary for a pattern matching tracking algorithm at BES Ⅲ
    马长利
    张瑶
    袁野
    吕晓睿
    郑阳恒
    何康林
    李卫东
    刘怀民
    马秋梅
    伍灵慧
    Chinese Physics C, 2013, 37 (06) : 72 - 78
12345