Subject
General Computer Science,Theoretical Computer Science
Reference11 articles.
1. Damas, L. and R. Milner, Principle Type Inference for Functional Programs (extended abstract), in: 9th ACM Symposium on Principle of Programming Languages, 1982, pp. 207–212.
2. Girard, J.-Y., Linear Logic: its syntax and semantics, in: J.-Y. Girard, Y. Lafont and L. Regnier, editors, Advances in Linear Logic (1995), pp. 1–42. URL http://citeseer.nj.nec.com/girard95linear.html
3. "The Definition of Standard ML,";Harper,1990
4. An Introduction to Program Specialisation by Type Inference;Hughes,1996
5. Jim, T., What are principal typings and what are they good for?, Tech. memo. MIT/LCS/TM-532, MIT (1995). URL http://www.research.att.com/~trevor/papers.html
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献