Principal type

Known as: Principal typing, Principle type 
In type theory, a type system is said to have the principal type property if, given a term and an environment, there exists a principal type for this… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1956-2017
051019562016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows… (More)
  • figure 1
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Let S be some type system. A typing in S for a typable term M is the collection of all of the information other than M which… (More)
Is this relevant?
2002
2002
<i>Type specialisation</i> is an approach to program specialisation that works with <i>both</i> a program and its type to produce… (More)
  • figure 2
  • figure 3
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
1999
Highly Cited
1999
In this paper we present a general framework HM(X) for Hindley/Milner style type systems with constraints. We give a generic type… (More)
Is this relevant?
1999
1999
We present a Counting Algorithm that computes the number of λ-terms in β-normal form that have a given type τ as a principal type… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Starting from a denotational semantics of the eager untyped lambda-calculus with explicit runtime errors, the standard collecting… (More)
  • figure 1
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We demonstrate the pragmatic value of the principal typing property, a property distinct from ML's principal type property, by… (More)
Is this relevant?
1992
1992
The present paper introduces a typing system for a version of Milner's polyadic calculus, and a typing inference algorithm linear… (More)
  • figure 1
Is this relevant?
Highly Cited
1991
Highly Cited
1991
T$’e describe a refinement of ML’s type system allowing the specification of recursively defined subtypes of user-defined… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
We extend polymorphic type inference with a very general notion of subtype based on the concept of type transfo.rnation. This… (More)
Is this relevant?