Subject
Computer Science Applications,Human-Computer Interaction,Language and Linguistics
Reference22 articles.
1. A theory of type polymorphism in programming;Milner;Journal of Computer and System Sciences,1978
2. Haskell—The Craft of Functional Programming;Thompson,1999
3. Concepts in Programming Languages;Mitchell,2003
4. C.P. Wadsworth, Semantics and Pragmatics of the Lambda Calculus, D.Phil. thesis, Oxford University, 1971.
5. J. Lamping, An algorithm for optimal lambda calculus reduction. in: 17th ACM Symposium on Principles of Programming Languages, 1990, pp. 16–30.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Heuristics-based Type Error Diagnosis for Haskell;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02
2. Systematic identification and communication of type errors;Journal of Functional Programming;2018
3. Exploiting diversity in type checkers for better error messages;Journal of Visual Languages & Computing;2017-04
4. Graphical and incremental type inference. A graph transformation approach;Higher-Order and Symbolic Computation;2013-12