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
Article

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

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

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)

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)

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)
Open Access
File
29 Downloads (Pure)

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)

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)

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