Search for persons
X
?
2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) ,
10
Gradual Structure Editing with Obligations:
, In:
?
Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development ,
15