Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Chitil, O.: Type inference builds a short cut to deforestation. ACM SIGPLAN Notices 34(9), 249–260 (1999);
2. Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 1999)
3. Damas, L., Milner, R.: Principal type-schemes for functional programs. In: Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, pp. 207–212. ACM Press, New York (1982)
4. Emms, M., Leiß, H.: Extending the type checker of Standard ML by polymorphic recursion. Theoretical Computer Science 212(1–2), 157–181 (1999)
5. The Glasgow Haskell compiler,
http://www.haskell.org/ghc/
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献