[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Type-based parametric analysis of program families
Chen, Sheng; Erwig, Martin
- 作者Chen, Sheng; Erwig, Martin
- 文件大小474.78KB
- 发表时间2014
- DOI10.1145/2628136.2628155
- 页码39-51