Author:
Ohori Atsushi,Ueno Katsuhiro
Publisher
Springer International Publishing
Reference24 articles.
1. Abadi, M., Cardelli, L., Pierce, B., Rémy, D.: Dynamic typing in polymorphic languages. J. Funct. Program. 5(1), 111–130 (1995)
2. Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically typed language. ACM Trans. Program. Lang. Syst. 13(2), 237–268 (1991)
3. Atkinson, M., Buneman, O.: Types and persistence in database programming languages. ACM Comput. Surv. 19(2), 105–170 (1987)
4. Chakravarty, M.M.T., Keller, G., Jones, S.P., Marlow, S.: Associated types with class. In: Proceedings ACM POPL, pp. 1–13 (2005)
5. Damas, L., Milner, R.: Principal type-schemes for functional programs. In: DeMillo, R.A. (ed.) In: Proceedings ACM POPL Symposium (1982)