Search for persons
X
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
5
Parametricity for Primitive Nested Types:
, In:
?
Proceedings of the 2020 ACM Southeast Conference ,
10