Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. L. Damas and R. Milner. Principle Type-Schemes for Functional Programs. In Proceedings of the 9th Annual Symposium on Principles of Programming Languages, pages 207–212, 1982.
2. M. Erwig. Specifying type systems with multi-level order-sorted algebra. In 3rd Int. Conf. on Algebraic Methodology and Software Technology, pages 177–184, 1993.
3. R. Grosu and F. Regensburger. The Logical Framework of Spectrum. Technical Report TUM-I9402, Institut für Informatik, Technische Universität München, 1994.
4. C. A. Gunter. Semantics of Programming Languages: Structures and Techniques. MIT Press, 1992.
5. R. Hindley. The Principle Type-Scheme of an Object in Combinatory Logic. Trans. Am. Math. Soc., 146:29–60, December 1969.