A type and effect system for uniqueness and immutability.

Paola Giannini, Marco Servetto, Elena Zucca

Browse the full SAC paper archive.