Personensuche
X
?
Reversible Computation; Lecture Notes in Computer Science ,
1
Compositional Reversible Computation:
, In:
?
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation ,
3
Symbolic Execution of Hadamard-Toffoli Quantum Circuits:
, In:
?
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
6
Formalizing category theory in Agda:
, In:
?
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ,
7
GOOL: a generic object-oriented language:
, In:
?
8
Mathematical Software – ICMS 2020: 7th International Confer..
Theoretical Computer Science and General Issues, 12097
?
Reversible Computation; Lecture Notes in Computer Science ,
11
Fractional Types: Expressive and Safe Space Management for ..:
, In:
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
12
Leveraging the Information Contained in Theory Presentation:
, In:
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
13
Towards Specifying Symbolic Computation:
, In:
?
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences ,
15