Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 4 Similar Profiles
Semantics Engineering & Materials Science
Natural language Mathematics
Type inference Mathematics
Term Mathematics
Labels Engineering & Materials Science
Polymorphism Engineering & Materials Science
Intersection Mathematics
Calculus Mathematics

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

Research Output 1999 2017

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
Slice
Type inference
Slicing
Compiler
Open Access
File
student
programming
feedback
experiment
portal

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

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

Binders

Skalpel: a type error slicer for standard ML

Rahli, V., Wells, J. B., Pirie, J. & Kamareddine, F. 24 Apr 2015 In : Electronic Notes in Theoretical Computer Science. 312, p. 197-213 17 p.

Research output: Contribution to journalArticle

Type inference
Slicing
Slice
Compiler
Repair