Martin Odersky, Christoph Zenger, and Matthias Zenger. Colored local type inference. In ACM Symposium on Principles of Programming Languages, 2001. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
An Extension of HM(X) with Bounded Existential and Universal.. - Simonet (Correct)
ML^F: Raising ML to the Power of System F - Le Botlan, Rémy (2003) (Correct)
An extension of HM(X) with first class existential and universal.. - Simonet (Correct)
An extension of HM(X) with first class existential and universal.. - Simonet (Correct)
Raising ML to the Power of System F - Le Botlan, Remy (2003) (4 citations) (Correct)
First-Class Modules for Haskell - Shields, Jones (2001) (1 citation) (Correct)
Polymorphic Subtyping in O'Haskell - Nordlander (2001) (Correct)
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
Wobbly Types: Type Inference for Generalised Algebraic Data .. - Jones, Washburn, Weirich (2004) (5 citations) (Correct)
ML^F - Raising ML to the Power of System F - Le Botlan, Rémy (Correct)
Colored Local Type Inference - Odersky, Zenger, Zenger (2001) (10 citations) Self-citation (Odersky Zenger) (Correct)
Colored Local Type Inference - Martin Odersky Christoph (2001) (10 citations) Self-citation (Odersky Zenger) (Correct)
An Overview of Functional Nets - Odersky (2000) (1 citation) Self-citation (Odersky) (Correct)
Nested Types - Odersky, Zenger (2001) (4 citations) Self-citation (Odersky Zenger) (Correct)
Colored Local Type Inference - Odersky, Zenger, Zenger (2001) (10 citations) Self-citation (Odersky Zenger) (Correct)
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