Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Marcin Benke. Efficient type reconstruction in the presence of inheritance (extended abstract). In Proc. Int. Symp. MFCS 1993. Springer Verlag, 1993.
2. Marcin Benke. An algebraic characterization of typability in ML with subtyping. Technical Report TR96-14(235), Institute of Informatics, Warsaw University, December 1996. Available from http://zls.mimuw.edu.pl/~ben/Papers/ .
3. Marcin Benke. Complexity of type reconstruction in programming languages with subtyping. PhD thesis, Warsaw University, 1998.
4. D. Clément, J. Despeyroux, T. Despeyroux, and G. Kahn. A simple applicative language: Mini-ML. In Proc. ACM Conference on Lisp and Functional Programming, pages 13–27, 1986.
5. Luis Damas and Robin Milner. Principal type-schemes for functional programs. In Conf. Rec. ACM Symp. Principles of Programming Languages, pages 207–211, 1982.