Joseph Brian Wells

Dr

  • EH14 4AS

    United Kingdom

19992019

Research output per year

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

Research Output

2019

BNF-Style Notation as It Is Actually Used

Quinlan, D., Wells, J. B. & Kamareddine, F., 3 Jul 2019, Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Proceedings: CICM 2019. Kaliszyk, C., Brady, E., Kohlhase, A. & Sacerdoti Coen, C. (eds.). Springer, p. 187-204 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11617 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
231 Downloads (Pure)

Proof-carrying plans

Schwaab, C., Komendantskaya, E., Hill, A., Farka, F., Petrick, R. P. A., Wells, J. & Hammond, K., 2019, Practical Aspects of Declarative Languages: PADL 2019. Alferes, J. J. & Johansson, M. (eds.). Springer, p. 204-220 17 p. (Lecture Notes in Computer Science; vol. 11372).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
11 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
19 Downloads (Pure)
Open Access
File
28 Downloads (Pure)
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
19 Downloads (Pure)
2015

Automath Type Inclusion in Barendregt’s Cube

Kamareddine, F. D., Wells, J. B. & Ventura, D. L., 23 Jun 2015, Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings. Springer International Publishing, p. 262-282 21 p. (Lecture Notes in Computer Science; vol. 9139).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

2012

Expansion for Universal Quantifiers

Lenglet, S. & Wells, J. B., 2012, Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012. Springer, p. 456-475 20 p. (Lecture Notes in Computer Science; vol. 7211).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

2010

Expressiveness of generic process shape types

Jakubův, J. & Wells, J. B., 2010, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Revised Selected Papers. Vol. 6084 LNCS. p. 103-119 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6084 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

MathLang translation to isabelle syntax

Lamar, R., Kamareddine, F. & Wells, J. B., 2009, Intelligent Computer Mathematics - 16th Symposium, Calculemus 2009 - 8th International Conference, MKM 2009 - Held as Part of CICM 2009, Proceedings. Vol. 5625 LNAI. p. 373-388 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5625 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2008

A complete realisability semantics for intersection types and infinite expansion variables

Kamareddine, F. D., Nour, K., Rahli, V. & Wells, J. B., 2008, 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008. Springer, Vol. LNCS 5160.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

2007

Narrative Structure of Mathematical Tents

Kamareddine, F. D., Maarek, M., Retel, K. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Vol. 4573. p. 296-312 (Lecture Notes in Computer Science; vol. 4573).

Research output: Chapter in Book/Report/Conference proceedingChapter

Narrative structure of mathematical texts

Kamareddine, F., Maarek, M., Retel, K. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007 - 6th International Conference, MKM 2007, Proceedings. Vol. 4573 LNAI. p. 296-312 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4573 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Restoring National Language as a computerised Mathematics Input Method

Kamareddine, F. D., Lamar, R., Maarek, M. & Wells, J. B., Jun 2007.

Research output: Contribution to conferencePaper

Restoring natural language as a computerised mathematics input method

Kamareddine, F., Lamar, R., Maarek, M. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007 - 6th International Conference, MKM 2007, Proceedings. Vol. 4573 LNAI. p. 280-295 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4573 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2006

Toward an object-oriented structure for mathematical text

Kamareddirie, F., Maarek, M. & Wells, J. B., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3863 LNAI. p. 217-233 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3863 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Graph-based proof counting and enumeration with applications for program fragment synthesis

Wells, J. B. & Yakobowski, B., 2005, In Logic Based Program Synthesis & Transformation, 14th Int'l Symp., LOPSTR 2004, August 2004, Revised Selected Papers, Verona, Italy. LNCS, Springer-Verlag..

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Graph-based proof counting and enumeration with applications for program fragment synthesis

Wells, J. B. & Yakobowski, B., 2005, Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers. Vol. 3573. p. 262-277 16 p. (Lecture Notes in Computer Science; vol. 3573).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Instant Polymorphic Types for Mobile Process Calculi: Just add Reduction Rules and Close

Makholm, H. & Wells, J. B., Apr 2005.

Research output: Contribution to conferencePaper

Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close

Makholm, H. & Wells, J. B., 2005, Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Vol. 3444. p. 389-407 19 p. (Lecture Notes in Computer Science; vol. 3444).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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

2004

Call-by-value mixin modules: reduction semantics, side effects, types

Hirschowitz, T., Leroy, X. & Wells, J. B., 2004, Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. Vol. 2986. p. 64-78 15 p. (Lecture Notes in Computer Science; vol. 2986).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Flexible encoding of mathematics on the computer

Kamareddine, F., Maarek, M. & Wells, J. B., 2004, Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings. Vol. 3119. p. 160-174 15 p. (Lecture Notes in Computer Science; vol. 3119).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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

PolyA: True Type Polymorphism for Mobile Ambients

Wells, J. B., Amtoft, T. & Makholm, H., Aug 2004.

Research output: Contribution to conferencePaper

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

System E: Expansion variables for flexible typing with linear and non-linear types and intersection types

Carlier, S., Polakow, J., Wells, J. B. & Kfoury, A. J., 2004, Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. Vol. 2986. p. 294-309 16 p. (Lecture Notes in Computer Science; vol. 2986).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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

Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction

Carlier, S. & Wells, J. B., 2004, Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04. p. 132-143 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2003

Compilation of Extended Recursion in Call-by-Value Functional Languages

Hirschowitz, T., Leroy, X. & Wells, J. B., 2003, Proceedings of the Fifth ACM SIGPLAN Conference on Principle and Practice of Declarative Programming, (PPDP 03). Vol. 5. p. 160-171 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Diagrams for Meaning Preservation

Wells, J. B., Plump, D. & Kamareddine, F. D., Jun 2003, p. 88-106. 19 p.

Research output: Contribution to conferencePaper

Type error slicing in implicitly typed higher-order languages

Haack, C. & Wells, J. B., 2003, Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. Vol. 2618. p. 284-301 18 p. (Lecture Notes in Computer Science; vol. 2618).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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

Branching Types

Wells, J. B. & Haack, C., Apr 2002, p. 115-132. 18 p.

Research output: Contribution to conferencePaper

Fully Automatic Adaption of Software Components Based on Semantic Specifications

Haack, C., Howard, B., Stoughton, A. & Wells, J. B., Sep 2002, p. 83-98. 16 p.

Research output: Contribution to conferencePaper

Implementing Compositional Analysis Using Intersection Types with Expansion Variables

Kfoury, A. J., Washburn, G. & Wells, J. B., Jul 2002.

Research output: Contribution to conferencePaper

The Essence of Principal Typings

Wells, J. B., Jul 2002, p. 913-925. 13 p.

Research output: Contribution to conferencePaper

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

Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees

Turbak, F. & Wells, J. B., Sep 2001, p. 137-149. 13 p.

Research output: Contribution to conferencePaper

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

Functioning without Closure: Type-Safe Customized Function Representations for Standard ML

Dimock, A., Westmacott, I., Muller, R., Turbak, F. & Wells, J. B., Sep 2001, p. 14-25. 12 p.

Research output: Contribution to conferencePaper

Program representation size in an intermediate language with intersection and union types

Dimock, A., Westmacott, I., Muller, R., Turbak, F., Wells, J. B. & Considine, J., Jun 2001, p. 27-52. 26 p.

Research output: Contribution to conferencePaper