Martin Odersky, Martin Sulzmann, and Martin Wehr. Type inference with constrained types. TAPOS, 5(1), 1999. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Colored Local Type Inference - Odersky, Zenger, Zenger (2001) (10 citations) Self-citation (Odersky) (Correct)
....Similar in motivation to these is Pfenning s work on type inference for F2 [Pfe88] which uses higher order unification. Extensions of the Hindley Milner system with subtyping have also been studied [AW93, TS96, EST95, Pot96, Nor98, Pot98] They are usually based on constrained types [OSW99] which include a set of subtype constraints as part of a type. A problem in practice is that constraint sets can become very large. Trifonov and Smith [TS96] as well as Pottier [Pot98] have proposed schemes to address the problem. A more radical alternative has been proposed by Nordlander ....
Martin Odersky, Martin Sulzmann, and Martin Wehr. Type inference with constrained types. TAPOS, 5(1), 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC