Modular Type Classes

by Derek Dreyer , Robert Harper , Manuel M.T. Chakravarty
Citations:19 - 8 self