The Calculated Typer (Functional Pearl)
| Title: | The Calculated Typer (Functional Pearl) |
|---|---|
| Authors: | Garby, Zac; Bahr, Patrick; Hutton, Graham |
| Source: | Proceedings of the 18th ACM SIGPLAN International Haskell Symposium. :17-29 |
| Availability: | http://dl.acm.org/doi/10.1145/3759164.3759346 |
| Database: | ACM Full-Text Collection |