GTP Benchmarks for Gradual Typing Performance-Reference-Cited by-同舟云学术

GTP Benchmarks for Gradual Typing Performance

Published:2023-06-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2023 ACM Conference on Reproducibility and Replicability
language:
Short-container-title:

Author:

Greenman Ben¹^ORCID

Affiliation:

1. Computer Science Department, Brown University, USA

Funder

NSF (National Science Foundation)

Publisher

ACM

Link

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

Reference192 articles.

1. [n. d.]. The Coq proof assistant. Retrieved June 1, 2023 fromhttps://coq.inria.fr [n. d.]. The Coq proof assistant. Retrieved June 1, 2023 fromhttps://coq.inria.fr

2. [n. d.]. DefinitelyTyped : dependency graph . Retrieved Feb. 20, 2023 fromhttps://github.com/DefinitelyTyped/DefinitelyTyped/network/dependents [n. d.]. DefinitelyTyped: dependency graph. Retrieved Feb. 20, 2023 fromhttps://github.com/DefinitelyTyped/DefinitelyTyped/network/dependents

3. [n. d.]. Documentation : gtp-checkup . Retrieved Feb. 20, 2023 fromhttps://docs.racket-lang.org/gtp-checkup/index.html [n. d.]. Documentation: gtp-checkup. Retrieved Feb. 20, 2023 fromhttps://docs.racket-lang.org/gtp-checkup/index.html

4. [n. d.]. Ghc : the glasgow haskell compiler . Retrieved Feb. 20, 2023 fromhttps://www.haskell.org/ghc/ [n. d.]. Ghc: the glasgow haskell compiler. Retrieved Feb. 20, 2023 fromhttps://www.haskell.org/ghc/

5. [n. d.]. GTP Benchmarks documentation. Retrieved Sept. 9, 2022 fromhttps://docs.racket-lang.org/gtp-benchmarks/ [n. d.]. GTP Benchmarks documentation. Retrieved Sept. 9, 2022 fromhttps://docs.racket-lang.org/gtp-benchmarks/

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

1. How Profilers Can Help Navigate Type Migration;Proceedings of the ACM on Programming Languages;2023-10-16