Type Systems for Region-based Memory Management - ppt download