r/compsci•15 yr. agomumuxGenerative Type Abstraction and Type-level Computation (crosspost from r/haskell)cis.upenn.edu/~sweirich/newtypes.pdfcis.upenn.eduPosted Nov 3, 2010, 4:04 PM UTC60Share