[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
- 文件大小474.78KB
- 发表时间2014
- DOI10.1145/2628136.2628155
- 页码39-51
[IEEE 2010 IEEE International Conference on Networking, Architecture, and Storage (NAS 2010) - Macau (2010.07.15-2010.07.17)] 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage - [Cover art]2010
[IEEE 2010 IEEE International Conference on Networking, Architecture, and Storage (NAS) - Macau, China (2010.07.15-2010.07.17)] 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage - Preface2010
[IEEE 2010 IEEE International Conference on Networking, Architecture, and Storage (NAS) - Macau, China (2010.07.15-2010.07.17)] 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage - Steering Committee2010
[IEEE 2010 IEEE International Conference on Networking, Architecture, and Storage (NAS) - Macau, China (2010.07.15-2010.07.17)] 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage - Copyright Page2010
[IEEE 2010 IEEE International Conference on Networking, Architecture, and Storage (NAS) - Macau, China (2010.07.15-2010.07.17)] 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage - Organizing Committee2010
[IEEE 2010 IEEE International Conference on Networking, Architecture, and Storage (NAS) - Macau, China (2010.07.15-2010.07.17)] 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage - Keynote Speech2010
[IEEE 2010 IEEE International Conference on Networking, Architecture, and Storage (NAS) - Macau, China (2010.07.15-2010.07.17)] 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage - Author Index2010
[IEEE 2010 IEEE International Conference on Networking, Architecture, and Storage (NAS) - Macau, China (2010.07.15-2010.07.17)] 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage - Roster Page2010