Personensuche
X
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
6
Translation Certification for Smart Contracts:
, In:
?
Lecture Notes in Computer Science; Mathematics of Program Construction ,
8
Calculating Datastructures:
, In:
?
9
Trends in Functional Programming: 23rd International Sympos..
Lecture Notes in Computer Science, 13401
?
Proceedings of the 34th Symposium on Implementation and Application of Functional Languages ,
10
Verified Technology Mapping in an Agda DSL for Circuit Desi..:
, In:
?
IFIP Advances in Information and Communication Technology; Advancing Research in Information and Communication Technology ,
11
Algorithmics:
, In:
?
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design ,
13