Inferring types and effects via static single assignment. - Leonardo Filipe Rigon; Paulo Torrens; Cristiano D. Vasconcellos (SAC, 2020)