Inferring types and effects via static single assignment.

Leonardo Filipe Rigon, Paulo Henrique Torrens, Cristiano D. Vasconcellos

Browse the full SAC paper archive.