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)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2009

Highly Cited

2009

- Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
- ESOP
- 2009

We generalise a theory of multiparty session types for the Ï€-calculus through asynchronous communication subtyping, which allowsâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Joe B. Wells
- ICALP
- 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

- Pablo E. MartÃnez LÃ³pez, John Hughes
- ASIA-PEPM
- 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)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Martin Odersky, Martin Sulzmann, Martin Wehr
- TAPOS
- 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

- Sabine Broda, LuÃs Damas
- TLCA
- 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

- Patrick Cousot
- POPL
- 1997

Starting from a denotational semantics of the eager untyped lambda-calculus with explicit runtime errors, the standard collectingâ€¦Â (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- Trevor Jim
- POPL
- 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)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Timothy S. Freeman, Frank Pfenning
- PLDI
- 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

- You-Chin Fuh, Prateek Mishra
- ESOP
- 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?