Type inference with constrained types (1997)

by Martin Odersky , Martin Sulzmann , Martin Wehr
Venue:Fourth International Workshop on Foundations of Object-Oriented Programming (FOOL)
Citations:42 - 5 self

Documents Related by Co-Citation

203 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
66 Simplifying Subtyping Constraints – Francois Pottier - 1996
125 Qualified types: theory and practice – M P Jones - 1992
60 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
49 Proofs about a Folklore Let-Polymorphic Type Inference Algorithm – Oukseh Lee, Kwangkeun Yi - 1998
81 Type inference with constrained types. Theory and Practice of Object Systems – M Odersky, M Sulzmann, M Wehr - 1999
181 Unification Theory – Franz Baader, Wayne Snyder - 2001
151 Refinement types for ML – Tim Freeman - 1994
490 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
830 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
323 Principal type-schemes for functional programs – Luis Damas, Robin Milner - 1982
74 A simple algorithm and proof for type inference – Mitchell Wand - 1987
580 Types and Programming Languages – B C Pierce - 2002
76 Type Inference for Recursively Constrained Types and its Application to OOP – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
874 A theory of type polymorphism in programming – Robin Milner - 1978
221 Principal type schemes for functional programs – L Damas, H Milner - 1982
93 Cylindric Algebra – L Henkin, D Monk, A Tarski - 1985
108 Componential set-based analysis – Cormac Flanagan, Matthias Felleisen - 1997
20 A theory of type polymorphism in programming. Journal of computer and system sciences – R Milner - 1978