D Dreyer, R Harper, MMT Chakravarty… - ACM SIGPLAN Notices, 2007 - dl.acm.org
ML modules and Haskell type classes have proven to be highly effective tools for program
structuring. Modules emphasize explicit configuration of program components and the use of …