Search for persons
X
?
Proceedings of the 16th ACM SIGPLAN International Haskell Symposium ,
1
HasTEE: Programming Trusted Execution Environments with Has..:
, In:
?
2022 International Conference on Green Energy, Computing and Sustainable Technology (GECOST) ,
2
A Computational Approach for Predicting the Termination of ..:
, In:
?
Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes ,
3
Higher-order concurrency for microcontrollers:
, In:
?
Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming ,
4