Abstract interpretation is also at the heart of Julia’s type inference algorithm (amongst other analyses that Julia performs) A very useful framework, both pra

Abstract interpretation is also at the heart of Julia’s type inference algorithm (amongst other analyses that Julia performs) A very useful framework, both practically and theoretically!