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

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

Type Systems Mathematics
Explicit Substitution Mathematics
Calculus Mathematics
Type Theory Mathematics
Notation Mathematics
Term Mathematics
Strong Normalization Mathematics
Regular hexahedron Mathematics

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

Research Output 1999 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. Sacerdoti Coen, C., Kohlhase, A., Brady, E. & Kaliszyk, 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
Notation
Syntax
Entity
Strings
Offspring

Advance Gender Prediction Tool of First Names and its Use in Analysing Gender Disparity in Computer Science in the UK, Malaysia and China

Zhao, H. & Kamareddine, F., 6 Dec 2018, 2017 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE, p. 222-227 6 p.

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

Computer science
Experiments

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

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

Using MathLang to check the correctness of specifications in object-Z

Feller, D., Kamareddine, F. D. & Burski, L., 2016, Modern Mathematical Methods and High Performance Computing in Science and Technology: M3HPCST, Ghaziabad, India, December 2015. Singh, V. K., Srivastava, H. M., Venturino, E., Resch, M. & Gupta, V. (eds.). Springer, p. 45-70 26 p. (Springer Proceedings in Mathematics & Statistics; vol. 171).

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

Correctness
Specification
Software
Formal Specification
Object-orientation