References

Type Checking

HMF

• Reference Implementation

• George Kuan and David MacQueen, "Efficient ML type inference with ranked type variables"

FPH

Pattern Matching

• Compiling Pattern Matching to Good Decision Trees