Personensuche
X
?
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming ,
5
Building embedded systems with embedded DSLs:
, In:
?
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification ,
6
Programming languages for high-assurance autonomous vehicle..:
, In:
?
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming ,
7
Efficient lookup-table protocol in secure multiparty comput..:
, In:
?
9
Practical aspects of declarative languages
13th international symposium, PADL 2011, Austin, TX, USA, J...
Lecture notes in computer science ; 6539
?
Proceedings of the 10th ACM international conference on Generative programming and component engineering ,
11
Theorem-based circuit derivation in cryptol:
, In:
?
Proceedings of the third ACM Haskell symposium on Haskell ,
12
Concurrent orchestration in Haskell:
, In:
?
Proceedings of the 2009 Video Workshop on Commercial Users of Functional Programming: Functional Programming As a Means, Not an End ,
14
Discussion:
, In:
?
Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming ,
15