Generic and flexible defaults for verified, law-abiding type-class instances

Ryan G. Scott, Ryan R. Newton. Generic and flexible defaults for verified, law-abiding type-class instances. In Richard A. Eisenberg, editor, Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019. pages 15-29, ACM, 2019. [doi]

Authors

Ryan G. Scott

This author has not been identified. Look up 'Ryan G. Scott' in Google

Ryan R. Newton

This author has not been identified. Look up 'Ryan R. Newton' in Google