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.

Semantics Engineering & Materials Science
Slicing Mathematics
Polymorphism Engineering & Materials Science
Labels Engineering & Materials Science
Slice Mathematics
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 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
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

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

Slice
Type Inference
Slicing
Standards
Compiler