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.
Type classes summary<br />
A much more far-reaching idea than<br />
we first realised<br />
Variants adopted in Isabel, Clean,<br />
Mercury, Hal, Escher<br />
Open questions:<br />
– tension between desire for overlap and<br />
<strong>the</strong> open-world goal<br />
– danger of death by complexity