Pierce, B. and Turner, D. Local Type Inference. in: Proceedings of the 25th Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, San Diego, January 19--21. 1998. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Termination Checking with Types: Strong Normalization for.. - Abel (Correct)
ML^F: Raising ML to the Power of System F - Le Botlan, Rémy (2003) (Correct)
Raising ML to the Power of System F - Le Botlan, Remy (2003) (4 citations) (Correct)
Colored Local Type Inference - Odersky, Zenger, Zenger (2001) (10 citations) (Correct)
Colored Local Type Inference - Martin Odersky Christoph (2001) (10 citations) (Correct)
Polymorphic Subtyping in O'Haskell - Nordlander (2000) (Correct)
More On Implicit Syntax - Luther (Correct)
Type Systems for Resource-Bounded Programming and.. - Hofmann, Aspinall (Correct)
Types for Correct Communication in Client-Server Systems - Gay, Hole (2000) (6 citations) (Correct)
First-Class Modules for Haskell - Shields, Jones (2001) (1 citation) (Correct)
Polymorphic Subtyping in O'Haskell - Nordlander (2001) (Correct)
Some Type Systems for the Pi Calculus - Gay (1999) (4 citations) (Correct)
Types and Subtypes for Client-Server Interactions - Gay, Hole (1999) (42 citations) (Correct)
An Overview of Functional Nets - Odersky (2000) (1 citation) (Correct)
Nested Types - Odersky, Zenger (2001) (4 citations) (Correct)
Colored Local Type Inference - Odersky, Zenger, Zenger (2001) (10 citations) (Correct)
Incremental Type Inference for Software Engineering - Aldrich (Correct)
Explanation and Justification of Proposed Expenditures - Continuing Support For (Correct)
The Cecil Language - Specification and Rationale - Version 3.0 - Chambers (1995) (12 citations) (Correct)
Intersection Types and Computational Effects - Davies, Pfenning (2000) (7 citations) (Correct)
Programming With Functional Nets - Odersky (2000) (1 citation) (Correct)
Pragmatic Subtyping in Polymorphic Languages - Nordlander (1997) (10 citations) (Correct)
Types and Subtypes for Client-Server Interactions - Gay, Hole (1999) (42 citations) (Correct)
Constraint-Based Polymorphism in Cecil: Towards a Practical and.. - Litvinov (1998) (7 citations) (Correct)
A Schema for Adding Dependent Types to ML - Xi, Pfenning (Correct)
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
Tridirectional Typechecking - Joshua Dunfield Joshuad (Correct)
Intersection Types and Computational Effects - Rowan Davies Carnegie (Correct)
Specifying C++ concepts - Gabriel Dos Reis (Correct)
Dependent Types in Practical Programming (Extended Abstract) - Xi, Pfenning (1999) (Correct)
Tridirectional Typechecking - Joshua Dunfield Frank (2004) (3 citations) (Correct)
Strict Bidirectional Type Checking - Adam Chlipala Computer (Correct)
Tridirectional Typechecking - Joshua Dunfield Joshuad (2004) (3 citations) (Correct)
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) (Correct)
A Formulation of Dependent ML with Explicit Equality Proofs - Licata, Harper (2005) (Correct)
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
Memory Management with Use-Counted Regions - Terauchi, Aiken (2004) (Correct)
Wobbly Types: Type Inference for Generalised Algebraic Data .. - Jones, Washburn, Weirich (2004) (5 citations) (Correct)
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
Type Refinements - Harper, Pfenning (2001) (Correct)
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
Tridirectional Typechecking - Joshua Dunfield Frank (2004) (3 citations) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
Tridirectional Typechecking - Joshua Dunfield Joshuad (2004) (3 citations) (Correct)
ML^F - Raising ML to the Power of System F - Le Botlan, Rémy (Correct)
Tridirectional Typechecking - Joshua Dunfield Joshuad (2004) (3 citations) (Correct)
Termination Checking with Types - Abel (1999) (6 citations) (Correct)
Semi-Explicit First-Class Polymorphism for ML - Garrigue, Rémy (1999) (4 citations) (Correct)
Bounded Quantification with Bottom - Pierce (1997) (4 citations) Self-citation (Pierce) (Correct)
Datatypes and Subtyping - Hosoya, Pierce, Turner Self-citation (Pierce Turner) (Correct)
First 50 documents Next 50
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