Reconciling exhaustive pattern matching with objects.

Chinawat Isradisaikul, Andrew C. Myers

Browse the full PLDI paper archive.