Rewriting for sound and complete union, intersection and negation types-Reference-Cited by-同舟云学术

Rewriting for sound and complete union, intersection and negation types

Published:2017-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
language:
Short-container-title:

Author:

Pearce David J.¹

Affiliation:

1. Victoria University of Wellington, New Zealand

Publisher

ACM

Link

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

Reference74 articles.

1. Ceylon Homepage. Retrieved 2017 from http://ceylon-lang.org/ Ceylon Homepage. Retrieved 2017 from http://ceylon-lang.org/

2. Facebook Flow. Retrieved 2017 from https://flowtype.org/ Facebook Flow. Retrieved 2017 from https://flowtype.org/

3. Kotlin Homepage. Retrieved 2017 from http://kotlinlang.org/ Kotlin Homepage. Retrieved 2017 from http://kotlinlang.org/

4. What's new in Groovy 2.0? Retrieved 2017 from http://www.infoq.com/articles/new-groovy-20 What's new in Groovy 2.0? Retrieved 2017 from http://www.infoq.com/articles/new-groovy-20

5. Whiley Compiler Respository on GitHub. Retrieved 2017 from http://github.com/Whiley/WhileyCompiler Whiley Compiler Respository on GitHub. Retrieved 2017 from http://github.com/Whiley/WhileyCompiler

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

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

2. First-class dynamic types;Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages;2019-10-20

3. On declarative rewriting for sound and complete union, intersection and negation types;Journal of Computer Languages;2019-02