Hindley, R. (1969). The principal type-scheme of an object in combinatory logic. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Improving Polymorphic Type Explanations - Yang (2001) (Correct)
Type Inference for Variant Object Types - Michele Bugliesi Dipartimento (2000) (1 citation) (Correct)
An Experiment in Type Inference and Veri - Cation By (Correct)
Typability and Type Checking in System F Are Equivalent and.. - Wells (1998) (9 citations) (Correct)
Ensuring Streams Flow - Alastair Telford And (1997) (9 citations) (Correct)
Isabelle/Isar - a versatile environment for human-readable formal .. - Wenzel (2002) (2 citations) (Correct)
Once Upon a Type - Turner, Wadler, Mossin (1997) (71 citations) (Correct)
Unknown - Type Prod List (Correct)
Program Generalization for Software Reuse: From C to C++ - Siff, Reps (1996) (8 citations) (Correct)
DirectFlow: Toward a DSL for Infopipes - Chuan-Kai Lin Andrew (Correct)
The M³ Paradigm - Types and Type Inference.. - Coppo.. (Correct)
Typing Rule-Based Transformations Over Topological Collections - Cohen (2003) (Correct)
Types, Potency, and Idempotency: Why Nonlinearity and.. - Neergaard, Mairson (2004) (Correct)
Logic Programs as Compact Denotations - Hill, Spoto (2003) (Correct)
Type Inference for Recursive Definitions - Kfoury, Pericas-Geertsen (2000) (1 citation) (Correct)
Logic Programs as Compact Denotations - Hill, Spoto (2003) (Correct)
Type Inference for Variant Object Types - Bugliesi, Pericas-Geertsen (2000) (1 citation) (Correct)
Is There a Use for Linear Logic? - Wadler (1991) (5 citations) (Correct)
A Taste of Linear Logic - Wadler (1993) (36 citations) (Correct)
Precise and Expressive Mode Systems for Typed Logic Programming.. - Overton (2003) (Correct)
Strictness, Totality, and Non-Standard Type - Inference Mario Coppo (Correct)
Haskell and Principal Types - Faxen (2003) (Correct)
Formal Verification of Algorithm W: The Monomorphic Case - Nazareth, Nipkow (1996) (6 citations) (Correct)
Properties of a Type Interpreter - Roberta Gori And (Correct)
Aspects Theoriques Et Pratiques De L'inferences De Type Et Effets - Talpin (1993) (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