Search for persons
X
?
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development ,
5
How to do proofs: practically proving properties about effe..:
, In:
?
Proceedings of the 11th International Conference on Mobile and Ubiquitous Multimedia ,
7