Parallel type-checking with haskell using saturating LVars and stream generators-Reference-Cited by-同舟云学术

Parallel type-checking with haskell using saturating LVars and stream generators

Published:2016-02-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
language:
Short-container-title:

Author:

Newton Ryan R.¹,Ağacan Ömer S.¹,Fogg Peter²,Tobin-Hochstadt Sam¹

Affiliation:

1. Indiana University

2. edX

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference40 articles.

1. Ceylon language website. http://ceylon-lang.org/ . Ceylon language website. http://ceylon-lang.org/ .

2. Erlang dializer type checker. http://www.erlang.org/doc/man/dialyzer.html . Erlang dializer type checker. http://www.erlang.org/doc/man/dialyzer.html .

3. Facebook flow project website. https://code.facebook.com/projects/1524880081090726/ . Facebook flow project website. https://code.facebook.com/projects/1524880081090726/ .

4. Typescript project website. http://www.typescriptlang.org/ . Typescript project website. http://www.typescriptlang.org/ .

5. Continuations Implement Generators and Streams

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

1. Reproducible Containers;Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems;2020-03-09

2. STCLang: state thread composition as a foundation for monadic dataflow parallelism;Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019;2019