Author:
Camarão Carlos,Figueiredo Lucília
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Duggan, D., Cormack, G., Ophel, J.: Kinded type inference for parametric overloading. Acta Informatica 33(1), 21–68 (1996)
2. Damas, L., Milner, R.: Principal type schemes for functional programs. In: POPL 1982, pp. 207–212 (1982)
3. Hall, C., Hammond, K., Jones, S.P., Wadler, P.: Type Classes in Haskell. ACM TOPLAS 18(2), 109–138 (1996)
4. Jones, S.P., et al.: GHC – The Glasgow Haskell Compiler (1998), Available at
http://www.dcs.gla.ac.uk/fp/software/ghc/
5. Jones, S.P., Jones, M., Meijer, E.: Type classes: an exploration of the design space. In: ACM SIGPLAN Haskell Workshop (1997)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type Inference for GADTs and Anti-unification;Programming Languages;2015
2. Ambiguity and context-dependent overloading;Journal of the Brazilian Computer Society;2013-03-15
3. The implicit calculus;ACM SIGPLAN Notices;2012-08-06
4. The implicit calculus;Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation;2012-06-11