Polymorphic functions with set-theoretic types-Reference-Cited by-同舟云学术

Polymorphic functions with set-theoretic types

Published:2014-01-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Castagna Giuseppe¹,Nguyen Kim²,Xu Zhiwu³,Im Hyeonseung²,Lenglet Sergueï⁴,Padovani Luca⁵

Affiliation:

1. CNRS. Université Paris Diderot, Paris, France

2. Université Paris-Sud, Orsay, France

3. Université Paris Diderot, Paris, France

4. Université de Lorraine, Nancy, France

5. Università di Torino, Torino, Italy

Publisher

ACM

Link

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

Reference22 articles.

1. A filter lambda model and the completeness of type assignment

2. CDuce

3. A typed lambda calculus with intersection types

4. G. Castagna K. Nguyen and Z. Xu. Polymorphic functions with set-theoretic types. Part 2: Local type inference and type reconstruction. Unpublished manuscript available at http://hal.archives-ouvertes.fr/hal-00880744 November 2013. G. Castagna K. Nguyen and Z. Xu. Polymorphic functions with set-theoretic types. Part 2: Local type inference and type reconstruction. Unpublished manuscript available at http://hal.archives-ouvertes.fr/hal-00880744 November 2013.

5. Set-theoretic foundation of parametric polymorphism and subtyping

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

1. Typing Records, Maps, and Structs;Proceedings of the ACM on Programming Languages;2023-08-30

2. Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations;Proceedings of the ACM on Programming Languages;2023-01-09

3. Set-theoretic Types for Erlang;Proceedings of the 34th Symposium on Implementation and Application of Functional Languages;2022-08-31

4. Revisiting occurrence typing;Science of Computer Programming;2022-05

5. Dependently-typed data plane programming;Proceedings of the ACM on Programming Languages;2022-01-12