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.
%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
}