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

Filter
Conference contribution
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)
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

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

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

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

2007

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 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

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

2004

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