Personensuche
X
?
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development ,
4
Semantic Encapsulation using Linking Types:
, In:
?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
9