Personensuche
X
?
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation ,
2
Generating Programs for Polynomial Multiplication with Corr..:
, In:
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
4
Unified Program Generation and Verification: A Case Study o..:
, In:
?
Advances in Information and Computer Security; Lecture Notes in Computer Science ,
5
FFT Program Generation for Ring LWE-Based Cryptography:
, In:
?
Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences ,
6
Type-safe generation of modules in applicative and generati..:
, In:
?
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ,
7
Module generation without regret:
, In:
?
Lecture Notes in Computer Science; Trends in Functional Programming ,
8
One-Shot Algebraic Effects as Coroutines:
, In:
?
Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences ,
9
Reorganizing queries with grouping:
, In:
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
10
Language-Integrated Query with Nested Data Structures and G..:
, In:
?
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences ,
12
Staging with control: type-safe multi-stage programming wit..:
, In:
?
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ,
13
Program generation for ML modules (short paper):
, In:
?
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ,
14
Finally, safely-extensible and efficient language-integrate..:
, In:
?
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ,
15