164
Voted
APLAS
2009
ACM
16 years 9 days ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...