Modular Type Classes

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