Session details: Types

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 ◽

10.1145/3251065 ◽

2014 ◽

Author(s):

Shriram Krishnamurthi

Download Full-text