J. B. Wells

Typability and type checking in System F are equivalent and undecidable

J. B. Wells · Annals of Pure and Applied Logic · 1999 · 139 citations

System F, Engineering, Automated Reasoning +10

Type error slicing in implicitly typed higher-order languages

Christian Haack, J. B. Wells · Science of Computer Programming · 2004 · 114 citations

Syntax, Engineering, Program Analysis +5

Typability and type checking in the second-order λ-calculus are equivalent and undecidable

J. B. Wells · 2002 · 106 citations

Curry Style, System F, Engineering +10

Principality and decidable type inference for finite-rank intersection types

A. J. Kfoury, J. B. Wells · 1999 · 72 citations · Full text

Finite-rank Intersection Types, Engineering, Generic Programming +14

Principality and type inference for intersection types using expansion variables

A. J. Kfoury, J. B. Wells · Theoretical Computer Science · 2003 · 69 citations

Type Theory, Type System, Computer Science +2