Abstract: Static type inference is an effective way to maintain the safety of programs written in a dynamically typed language. However, foreign functions implemented in another programming language ...
This README file provides the description of the code and data used in my final year project. The content is sectioned into folders with corresponding names. Descriptions of the folders and their ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results