9 citations · 12 across the 5 of their papers we have counts for
5 papers
Advance gender prediction tool of first names and its use in analysing gender disparity in Computer Science in the UK, Malaysia and China
Hua Zhao, Fairouz Kamareddine
Global gender disparity in science is an unsolved problem. Predicting gender has an important role in analysing the gender gap through online data. We study this problem within the…
What Does This Notation Mean Anyway?
David Feller, Joe B. Wells, Fairouz Kamareddine +1
Following the introduction of BNF notation by Backus for the Algol 60 report and subsequent notational variants, a metalanguage involving formal "grammars" has developed for discus…
Proceedings Fourth International Symposium on Symbolic Computation in Software Science
Adel Bouhoula, Tetsuo Ida, Fairouz Kamareddine
Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic objects, geometrical objects, etc). Powerful symbolic algorithms have b…
Realisability Semantics for Intersection Types and Expansion Variables
Fairouz Kamareddine, Karim Nour, Vincent Rahli +1
Expansion was invented at the end of the 1970s for calculating principal typings for -terms in type systems with intersection types. Expansion variables (E-variables) were inven…
A complete realisability semantics for intersection types and arbitrary expansion variables
Fairouz Kamareddine, Karim Nour, Vincent Rahli +1
Expansion was introduced at the end of the 1970s for calculating principal typings for -terms in intersection type systems. Expansion variables (E-variables) were introduced at…