%0 Book %1 maguire2018thinking %A Maguire, Sandy %D 2018 %I Lean %K 03b15-higher-order-logic-type-theory 68n18-functional-programming-and-lambda-calculus %T Thinking with Types %U https://thinkingwithtypes.com/ %X 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 the compiler to do their work for them.

@book{maguire2018thinking, abstract = {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 the compiler to do their work for them.}, added-at = {2024-02-19T04:19:41.000+0100}, author = {Maguire, Sandy}, biburl = {https://www.bibsonomy.org/bibtex/24d32076de8b8a9a94b3429b0fff5ef0f/gdmcbain}, interhash = {e1b641f35cbaa35fa87b0505f139712f}, intrahash = {4d32076de8b8a9a94b3429b0fff5ef0f}, keywords = {03b15-higher-order-logic-type-theory 68n18-functional-programming-and-lambda-calculus}, publisher = {Lean}, timestamp = {2024-02-19T04:19:41.000+0100}, title = {Thinking with Types}, url = {https://thinkingwithtypes.com/}, year = 2018 }