Search for persons
X
?
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming ,
6
Building embedded systems with embedded DSLs:
, In:
?
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification ,
7
Programming languages for high-assurance autonomous vehicle..:
, In:
?
Proceedings of the 4th Program Protection and Reverse Engineering Workshop ,
8
Multi-App Security Analysis with FUSE : Statically Detec..:
, In:
?
Proceedings of the third ACM Haskell symposium on Haskell ,
10