[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Type checking with open type functions
Schrijvers, Tom, Peyton Jones, Simon, Chakravarty, Manuel, Sulzmann, MartinYear:
2008
Language:
english
DOI:
10.1145/1411204.1411215
File:
PDF, 269 KB
english, 2008