Answers are grounded in this paper and cite their sources.
We have designed and implemented a type inference algorithm for the full SELF language. The algorithm can guarantee the safety and disambiguity of message sends, and provide useful information for browsers and optimizing compilers.
No takes yet. Share an insight, caveat, or question.
Agesen et al. (1993) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: