Subtyping with union types, intersection types and recursive types-Reference-Cited by-同舟云学术

Subtyping with union types, intersection types and recursive types

Published:1994 Issue: Volume: Page:687-706
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Damm Flemming M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57887-0_121.pdf

Reference16 articles.

1. Roberto M. Amadio and Luca Cardelli. Subtyping recursive types. In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (POPL'91), pages 104–118, ACM Press, 1991. Extended abstract. Full version in [AC92].

2. Roberto M. Amadio and Luca Cardelli. Subtyping Recursive Types. Technical Report 133, INRIA, Institut National de Recherche en Informatique et en Automatique, Lorraine, February 1992.

3. Alexander Aiken and Brian M. Murphy. Implementing regular tree expressions. In J. Hughes, editor, Proceedings of the 5th A CM Conference on Functional Programming Languages and Computer Architecture (FPCA '91), Cambridge, MA, USA, August 1991, volume 523 of Lecture Notes in Computer Science, pages 427–447, Springer-Verlag, 1991.

4. Alexander Aiken and Brian M. Murphy. Static type inference in a dynamically typed language. In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (POPL '91), pages 279–290, ACM Press, 1991.

5. Alexander Aiken and Edward L. Wimmers. Solving systems of set constraints (extended abstract). In Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science (LICS'92), Santa Cruz, California, June 1992, pages 329–340, IEEE Computer Society, IEEE Computer Society Press, 1992.

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

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

2. A Calculus with Recursive Types, Record Concatenation and Subtyping;Programming Languages and Systems;2022

3. SFJ: An Implementation of Semantic Featherweight Java;Lecture Notes in Computer Science;2020

4. Fast Verified BCD Subtyping;Lecture Notes in Computer Science;2019

5. A Decidable Subtyping Logic for Intersection and Union Types;Topics in Theoretical Computer Science;2017