Thinking with Types. Type-Level Programming in Haskell
by Sandy Maguire
4.5(46 ratings)
This book aims to be the comprehensive manual for type-level programming. It's about getting you from here to there---from a competent Haskell programmer to one who convinces …