Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Damas, L. “Type assignment in programming languages”, Ph.D. thesis, Edinburgh University, 1985. Available as Computer Science Report CST-33-85.
2. Damas L. and Milner, R. “Principal type schemes for functional programs”, Proc. ACM Symp. on Principles of Programming Languages, 1982.
3. Henglein F., “Type inference and semi-unification”, Proc. ACM Symp. on Lisp and Functional Programming, 1988.
4. Kfoury, A.J., Tiuryn, J. and Urzyczyn, P. “A proper extension of ML with an effective type discipline”, Proc. ACM Symp. on Principles of Programming Languages, 1988.
5. Kfoury, A.J., Tiuryn, J. and Urzyczyn, P. “On the computational power of univerally polymorphic recursion” Proc. IEEE Symp. on Logic in Computer Science, 1988.