...in a manner that is more efficient than simply interpreting the program source code. By which I guess you mean abstract interpretation[0]? Not specifically

...in a manner that is more efficient than simply interpreting the program source code. By which I guess you mean abstract interpretation[0]? Not specifically the linked to RATA system but using it for type checking in general. Haven't read the thesis yet but am kind of interested in the subject matter so will check it out in the morning over coffee. [0] https://link.springer.com/chapter/10.1007%2F978-3-642-11970-5_5 https://link.springer.com/chapter/10.1007%2F978-3-642-11970-...