Type inference with constrained types

被引：0
|
作者：
Odersky, M [1 ]
Sulzmann, M
Wehr, M
机构：
[1] Univ S Australia, Sch Comp & Informat Sci, The Levels, SA 5095, Australia
[2] Yale Univ, Dept Comp Sci, New Haven, CT 06520 USA
[3] Univ Edinburgh, LFCS, Edinburgh EH7 3JZ, Midlothian, Scotland
来源：
THEORY AND PRACTICE OF OBJECT SYSTEMS | 1999年 / 5卷 / 01期
关键词：
D O I：
10.1002/(SICI)1096-9942(199901/03)5:1<35::AID-TAPO4>3.0.CO;2-4
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present a general framework HM(X) for type systems with constraints. The framework stays in the tradition of the Hindley/Milner type system. Its type system instances are sound under a standard untyped compositional semantics. We can give a generic type inference algorithm for HM(X) so that, under sufficient conditions on X, type inference will always compute the principal type of a term. We discuss instances of the framework that deal with polymorphic records, equational theories, and subtypes. (C) 1999 John Wiley & Sons, Inc.
引用
收藏
页码：35 / 55
页数：21
相关论文
共 50 条
  • [31] Practical Inference of Nullability Types
    Karimipour, Nima
    Pham, Justin
    Clapp, Lazaro
    Sridharan, Manu
    ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023, : 1395 - 1406
  • [32] Efficient inference of partial types
    Kozen, Dexter
    Palsberg, Jens
    Schwartzbach, Michael I.
    Journal of Computer and System Sciences, 1994, 49 (02): : 306 - 324
  • [33] Chance-Constrained Active Inference
    van de Laar, Thijs
    Senoz, Ismail
    Ozcelikkale, Ayca
    Wymeersch, Henk
    NEURAL COMPUTATION, 2021, 33 (10) : 2710 - 2735
  • [34] Learning and Inference over Constrained Output
    Punyakanok, Vasin
    Roth, Dan
    Yih, Wen-tau
    Zimak, Dav
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1124 - 1129
  • [35] EFFICIENT INFERENCE OF OBJECT TYPES
    PALSBERG, J
    INFORMATION AND COMPUTATION, 1995, 123 (02) : 198 - 209
  • [36] Phylogenomics: Constrained gene tree inference
    Siavash Mirarab
    Nature Ecology & Evolution, 1
  • [37] From ML type inference to stratified type inference
    Pottier, F
    ACM SIGPLAN NOTICES, 2005, 40 (09) : 1 - 1
  • [38] Boxy types: Inference for higher-rank types and impredicativity
    Vytiniotis, Dimitrios
    Weirich, Stephanie
    Jones, Simon Peyton
    ACM SIGPLAN NOTICES, 2006, 41 (09) : 251 - 262
  • [39] Haplotype Inference Constrained by Plausible Haplotype Data
    Fellows, Michael R.
    Hartman, Tzvika
    Hermelin, Danny
    Landau, Gad M.
    Rosamond, Frances
    Rozenberg, Liat
    IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2011, 8 (06) : 1692 - 1699
  • [40] Some Developments in the Theory of Shape Constrained Inference
    Groeneboom, Piet
    Jongbloed, Geurt
    STATISTICAL SCIENCE, 2018, 33 (04) : 473 - 492
12345