Sign In

Login

Password

Forgot Password ? Sign Up

Refinement type (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Refinement type" in English language version.

refsWebsite
Global rank English rank
4doi.org
2nd place
2nd place
2psu.edu
207th place
136th place
2github.com
383rd place
320th place
2web.archive.org
1st place
1st place
1cmu.edu
1,564th place
1,028th place
1sigplan.org
low place
low place
1nikita-volkov.github.io
low place
low place
1arxiv.org
69th place
59th place

arxiv.org (Global: 69th place; English: 59th place)

  • Panagiotis, Vekris; Cosman, Benjamin; Jhala, Ranjit (2016). "Refinement types for TypeScript". Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 310–325. arXiv:1604.02480. doi:10.1145/2908080.2908110.

cmu.edu (Global: 1,564th place; English: 1,028th place)

cs.cmu.edu

  • Freeman, T.; Pfenning, F. (1991). "Refinement types for ML" (PDF). Proceedings of the ACM Conference on Programming Language Design and Implementation. pp. 268–277. doi:10.1145/113445.113468.

doi.org (Global: 2nd place; English: 2nd place)

  • Freeman, T.; Pfenning, F. (1991). "Refinement types for ML" (PDF). Proceedings of the ACM Conference on Programming Language Design and Implementation. pp. 268–277. doi:10.1145/113445.113468.
  • Hayashi, S. (1993). "Logic of refinement types". Proceedings of the Workshop on Types for Proofs and Programs. pp. 157–172. CiteSeerX 10.1.1.38.6346. doi:10.1007/3-540-58085-9_74.
  • Panagiotis, Vekris; Cosman, Benjamin; Jhala, Ranjit (2016). "Refinement types for TypeScript". Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 310–325. arXiv:1604.02480. doi:10.1145/2908080.2908110.
  • Lehmann, Nico; Geller, Adam T.; Vazou, Niki; Jhala, Ranjit (6 June 2023). "Flux: Liquid Types for Rust". Proceedings of the ACM on Programming Languages. 7 (PLDI): 169:1533–169:1557. doi:10.1145/3591283.

github.com (Global: 383rd place; English: 320th place)

nikita-volkov.github.io (Global: low place; English: low place)

psu.edu (Global: 207th place; English: 136th place)

citeseerx.ist.psu.edu

  • Hayashi, S. (1993). "Logic of refinement types". Proceedings of the Workshop on Types for Proofs and Programs. pp. 157–172. CiteSeerX 10.1.1.38.6346. doi:10.1007/3-540-58085-9_74.
  • Denney, E. (1998). "Refinement types for specification". Proceedings of the IFIP International Conference on Programming Concepts and Methods. Vol. 125. Chapman & Hall. pp. 148–166. CiteSeerX 10.1.1.22.4988.

sigplan.org (Global: low place; English: low place)

popl18.sigplan.org

web.archive.org (Global: 1st place; English: 1st place)