Extending Hindley-Milner Type Inference with Coercive Structural Subtyping-Reference-Cited by-同舟云学术

Extending Hindley-Milner Type Inference with Coercive Structural Subtyping

Published:2011 Issue: Volume: Page:89-104
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Traytel Dmitriy,Berghofer Stefan,Nipkow Tobias

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-25318-8_10

Reference20 articles.

1. Benke, M.: Complexity of type reconstruction in programming languages with subtyping. Ph.D. thesis, Warsaw University (1997)

2. Bourdoncle, F., Merz, S.: On the integration of functional programming, class-based object-oriented programming, and multi-methods. Research Report 26, Centre de Mathématiques Appliquées, Ecole des Mines de Paris (March 1996)

3. Coq development team: The Coq proof assistant reference manual. INRIA (2010), http://coq.inria.fr version 8.3

4. Frey, A.: Satisfying subtype inequalities in polynomial space. Theor. Comput. Sci. 277(1-2), 105–117 (2002)

5. Lecture Notes in Computer Science;Y.C. Fuh,1988

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Disco: A Functional Programming Language for Discrete Mathematics;Electronic Proceedings in Theoretical Computer Science;2023-08-14

2. Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14

3. Inferring Region Types via an Abstract Notion of Environment Transformation;Programming Languages and Systems;2022

4. Explicit effect subtyping;Journal of Functional Programming;2020

5. Amortized Complexity Verified;Journal of Automated Reasoning;2018-03-13