Suggesting valid hole fits for typed-holes (experience report)-Reference-Cited by-同舟云学术

Suggesting valid hole fits for typed-holes (experience report)

Published:2018-09-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell
language:
Short-container-title:

Author:

Gissurarson Matthías Páll¹

Affiliation:

1. Chalmers University of Technology, Sweden

Funder

Stiftelsen för Strategisk Forskning

Publisher

ACM

Link

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

Reference15 articles.

1. Agda Contributors. 2017. Agda Documentation 2.5.3. https://agda.readthedocs.io/en/v2.5.3/ Agda Contributors. 2017. Agda Documentation 2.5.3. https://agda.readthedocs.io/en/v2.5.3/

2. Lennart Augustsson. 2014. The Djinn package. https://hackage.haskell.org/package/djinn Lennart Augustsson. 2014. The Djinn package. https://hackage.haskell.org/package/djinn

3. Edwin Brady. 2017. Type-Driven Development with Idris. Manning Publications Company. Edwin Brady. 2017. Type-Driven Development with Idris . Manning Publications Company.

4. GHC Contributors. 2017. GHC 8.2.1 users guide. https://downloads.haskell.org/~ghc/8.2.1/docs/html/users_guide/index.html GHC Contributors. 2017. GHC 8.2.1 users guide. https://downloads.haskell.org/~ghc/8.2.1/docs/html/users_guide/index.html

5. GitHub. 2017. The Open Source Survey. http://opensourcesurvey.org/2017/ GitHub. 2017. The Open Source Survey. http://opensourcesurvey.org/2017/

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

1. Live Pattern Matching with Typed Holes;Proceedings of the ACM on Programming Languages;2023-04-06

2. An Integrative Human-Centered Architecture for Interactive Programming Assistants;2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC);2022-09-12

3. Searching entangled program spaces;Proceedings of the ACM on Programming Languages;2022-08-29

4. PropR;Proceedings of the 44th International Conference on Software Engineering;2022-05-21

5. How statically-typed functional programmers write code;Proceedings of the ACM on Programming Languages;2021-10-20