Local Variable Type Inference with Reference Types

Published --