Joseph Brian Wells

Dr

  • EH14 4AS

    United Kingdom

19992020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
1999

Typability and type checking in system F are equivalent and undecidable

Wells, J. B., 30 Jun 1999, In : Annals of Pure and Applied Logic. 98, 1-3, p. 111-156 46 p.

Research output: Contribution to journalArticle

80 Citations (Scopus)
2001

Cut rules and explicit substitutions

Vestergaard, R. & Wells, J. B., Feb 2001, In : Mathematical Structures in Computer Science. 11, 1, p. 131-168 38 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)

Functioning without closure: Type-safe customized function representations for standard ML

Dimock, A., Westmacott, I., Muller, R., Turbak, F. & Wells, J. B., Oct 2001, In : ACM SIGPLAN Notices. 36, 10, p. 14-25 12 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2002

A calculus with polymorphic and polyvariant flow types

Wells, J. B., Dimock, A., Muller, R. & Turbak, F., 2002, In : Journal of Functional Programming. 12, 3, p. 183-227 45 p.

Research output: Contribution to journalArticle

33 Citations (Scopus)
2004

MathLang: Experience-driven development of a new mathematical language

Kamareddine, F., Maarek, M. & Wells, J. B., 18 Feb 2004, In : Electronic Notes in Theoretical Computer Science. 93, p. 138-160 23 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

Principality and type inference for intersection types using expansion variables

Kfoury, A. J. & Wells, J. B., 23 Jan 2004, In : Theoretical Computer Science. 311, 1-3, p. 1-70 70 p.

Research output: Contribution to journalArticle

46 Citations (Scopus)

Type error slicing in implicitly typed higher-order languages

Haack, C. & Wells, J. B., Mar 2004, In : Science of Computer Programming. 50, 1-3, p. 189-224 36 p.

Research output: Contribution to journalArticle

47 Citations (Scopus)
2005

Expansion: The crucial mechanism for type inference with intersection types: A survey and explanation

Carlier, S. & Wells, J. B., 19 Jul 2005, In : Electronic Notes in Theoretical Computer Science. 136, p. 173-202 30 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)

Type inference, principal typings, and let-polymorphism for first-class mixin modules

Makholm, H. & Wells, J. B., 2005, In : ACM SIGPLAN Notices. 40, 9, p. 156-167 12 p.

Research output: Contribution to journalArticle

2008

Computerizing Mathematical Text with MathLang

Kamareddine, F. & Wells, J. B., 6 Apr 2008, In : Electronic Notes in Theoretical Computer Science. 205, C, p. 5-30 26 p.

Research output: Contribution to journalArticle

25 Citations (Scopus)
2009

Compilation of extended recursion in call-by-value functional languages

Hirschowitz, T., Leroy, X. & Wells, J. B., Mar 2009, In : Higher-Order and Symbolic Computation. 22, 1, p. 3-66 64 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2012

On Realisability Semantics for Intersection Types with Expansion Variables

Kamareddine, F. D., Nour, K., Rahli, V. & Wells, J. B., 2012, In : Fundamenta Informaticae. 121, 1-4, p. 153-184 31 p.

Research output: Contribution to journalArticle

Reducibility Proofs in the λ-Calculus

Kamareddine, F. D., Rahli, V. & Wells, J. B., 2012, In : Fundamenta Informaticae. 121, 1-4, p. 121-152 32 p.

Research output: Contribution to journalArticle

The Algebra of Expansion

Carlier, S. & Wells, J. B., 2012, In : Fundamenta Informaticae. 121, 1-4, p. 43-82 40 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2015

Skalpel: a type error slicer for standard ML

Rahli, V., Wells, J. B., Pirie, J. & Kamareddine, F., 24 Apr 2015, In : Electronic Notes in Theoretical Computer Science. 312, p. 197-213 17 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)
2016

Bridging Curry and Church's typing style

Kamareddine, F. D., Seldin, J. P. & Wells, J. B., Nov 2016, In : Journal of Applied Logic. 18, p. 42-70 29 p.

Research output: Contribution to journalArticle

Open Access
File
21 Downloads (Pure)
2017

Skalpel: A constraint-based type error slicer for standard ML

Rahli, V., Wells, J. B., Pirie, J. & Kamareddine, F. D., May 2017, In : Journal of Symbolic Computation. 80, Part 1, p. 164–208 45 p.

Research output: Contribution to journalArticle

Open Access
File
2 Citations (Scopus)
21 Downloads (Pure)
Open Access
File
29 Downloads (Pure)