References of "Kamareddine, Fairouz"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailSkalpel: A Constraint-Based Type Error Slicer for Standard ML
Rahli, Vincent UL; Wells, Joe; Pirie, John et al

in Journal of Symbolic Computation (2016)

Detailed reference viewed: 210 (26 UL)
Full Text
Peer Reviewed
See detailSkalpel: A Type Error Slicer for Standard ML
Rahli, Vincent UL; Wells, Joe B.; Pirie, John et al

in Electronic Notes in Theoretical Computer Science (2015)

Detailed reference viewed: 127 (2 UL)
Full Text
Peer Reviewed
See detailOn Realisability Semantics for Intersection Types with Expansion Variables.
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent UL et al

in Fundamenta Informaticae (2012), 121

Detailed reference viewed: 64 (0 UL)
Full Text
Peer Reviewed
See detailReducibility proofs in the lambda-calculus
Kamareddine, Fairouz; Rahli, Vincent UL; Wells, J. B.

in Fundamenta Informaticae (2012), 121

Detailed reference viewed: 45 (0 UL)
Full Text
See detailA constraint system for a SML type error slicer
Rahli, Vincent UL; Wells, J. B.; Kamareddine, Fairouz

Report (2010)

Detailed reference viewed: 55 (0 UL)
Full Text
Peer Reviewed
See detailSimplified Reducibility Proofs of Church-Rosser for beta- and beta-eta-reduction
Kamareddine, Fairouz; Rahli, Vincent UL

in Electronic Notes in Theoretical Computer Science (2009), 247

Detailed reference viewed: 52 (3 UL)
Full Text
Peer Reviewed
See detailReducibility Proofs in the λ-Calculi with Intersection Types
Kamareddine, Fairouz; Rahli, Vincent UL; Wells, J. B.

Scientific Conference (2008)

Detailed reference viewed: 38 (2 UL)
Full Text
Peer Reviewed
See detailRealisability Semantics for Intersection Types and Expansion Variables
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent UL et al

Scientific Conference (2008)

Detailed reference viewed: 33 (1 UL)
Full Text
Peer Reviewed
See detailA Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent UL et al

in ICTAC 2008 (2008)

Detailed reference viewed: 90 (0 UL)