Wearing the hair shirt Wearing the hair shirt - Microsoft Research
Wearing the hair shirt Wearing the hair shirt - Microsoft Research
Wearing the hair shirt Wearing the hair shirt - Microsoft Research
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Shirts off to Wadler<br />
Type classes<br />
“Making ad hoc polymorphism<br />
less ad hoc” [POPL89]<br />
Monads<br />
“The essence of functional<br />
programming” [POPL92]<br />
Sexy types<br />
“Theorems for free” [FPCA89]