Learn More
This chapter introduces a novel system for generating type e rror messages which suggest ways of repairing mistakes. Both the the ory behind this, and the implementation (as part of the MLj compiler)(More)