![](/img/cover-not-exists.png)
[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Complete and decidable type inference for GADTs
Schrijvers, Tom, Peyton Jones, Simon, Sulzmann, Martin, Vytiniotis, DimitriosYear:
2009
Language:
english
DOI:
10.1145/1596550.1596599
File:
PDF, 478 KB
english, 2009