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

Fingerprint Dive into the research topics where Joseph Brian Wells is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Semantics Engineering & Materials Science
Slicing Mathematics
Polymorphism Engineering & Materials Science
Slice Mathematics
Labels Engineering & Materials Science
Type Inference Mathematics
Higher Order Mathematics
Type Systems Mathematics

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1999 2019

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

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
Repair
Open Access
File
artifact
programming
student
experiment
computer science

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
Religious buildings
Type Systems
Identity function
Style
Lambda Calculus

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

Regular hexahedron
Inclusion
Type Systems
Paradox
Binders

Prizes

2017/18 Teaching Excellence Awards (Global Learning and Teaching Award, Highly Commended))

Manuel Maarek (Recipient), Mohammad Mahmoud Mohammad Hamdan (Recipient), Smitha Kumar (Recipient), Talal Shaikh (Recipient), Joseph Brian Wells (Recipient) & Hind Zantout (Recipient), 21 May 2018

Prize: Prize (including medals and awards)

Teaching
learning
assistant
Malaysia
experience