FreezeML: complete and easy type inference for first-class polymorphism-Reference-Cited by-同舟云学术

FreezeML: complete and easy type inference for first-class polymorphism

Published:2020-06-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Emrich Frank¹,Lindley Sam²,Stolarek Jan³,Cheney James⁴,Coates Jonathan¹

Affiliation:

1. University of Edinburgh, UK

2. University of Edinburgh, UK / Imperial College London, UK

3. University of Edinburgh, UK / Lodz University of Technology, Poland

4. University of Edinburgh, UK / Alan Turing Institute, UK

Funder

Engineering and Physical Sciences Research Council

European Research Council

Department for Business, Energy and Industrial Strategy, UK Government

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3385412.3386003

Reference37 articles.

1. Dominique Clément Joëlle Despeyroux Th. Despeyroux and Gilles Kahn. 1986. Dominique Clément Joëlle Despeyroux Th. Despeyroux and Gilles Kahn. 1986.

2. A Simple Applicative Language: Mini-ML. In LISP and Functional Programming. 13–27. A Simple Applicative Language: Mini-ML. In LISP and Functional Programming. 13–27.

3. Ezra Cooper Sam Lindley Philip Wadler and Jeremy Yallop. 2006. Ezra Cooper Sam Lindley Philip Wadler and Jeremy Yallop. 2006.

4. Luís Damas and Robin Milner. 1982. Luís Damas and Robin Milner. 1982.

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

1. When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism;Proceedings of the ACM on Programming Languages;2024-01-05

2. Structural Subtyping as Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2023-10-16

3. Constraint-based type inference for FreezeML;Proceedings of the ACM on Programming Languages;2022-08-29

4. Sound and Complete Type Inference for Closed Effect Rows;Lecture Notes in Computer Science;2022

5. A quick look at impredicativity;Proceedings of the ACM on Programming Languages;2020-08-02