E-LIB Suche - Ergebnisse für: Carette, Jacques

1

Compositional Reversible Computation:

, In: Reversible Computation; Lecture Notes in Computer Science,

Carette, Jacques ; Heunen, Chris ; Kaarsgaard, Robin. - p. 10-27 , 2024

2

With a Few Square Roots, Quantum Computing Is as Easy as Pi:

Carette, Jacques ; Heunen, Chris ; Kaarsgaard, Robin.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 546-574 , 2024

Link: https://doi.org/10.1145/..

3

Symbolic Execution of Hadamard-Toffoli Quantum Circuits:

, In: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,

Carette, Jacques ; Ortiz, Gerardo ; Sabry, Amr - p. 14-26 , 2023

Link: https://dl.acm.org/doi/1..

4

State of the Practice for Lattice Boltzmann Method Software:

Smith, Spencer ; Michalski, Peter ; Carette, Jacques.
Archives of Computational Methods in Engineering. 31 (2023) 1 - p. 313-350 , 2023

Link: https://doi.org/10.1007/..

5

What Lies Beneath—A Survey of Affective Theory Use in Compu..:

Smith, Geneva M. ; Carette, Jacques
IEEE Transactions on Affective Computing. 13 (2022) 4 - p. 1793-1812 , 2022

Link: https://doi.org/10.1109/..

6

Formalizing category theory in Agda:

, In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Hu, Jason Z. S. ; Carette, Jacques - p. 327-342 , 2021

Link: https://dl.acm.org/doi/1..

7

Big Math and the One-Brain Barrier: The Tetrapod Model of M..:

Carette, Jacques ; Farmer, William M. ; Kohlhase, Michael.
The Mathematical Intelligencer. 43 (2020) 1 - p. 78-87 , 2020

Link: https://doi.org/10.1007/..

8

Can Deep Learning Predict Problematic Gaming?:

, In: 2020 IEEE Conference on Games (CoG),

Wu, Qirui ; Carette, Jacques - p. 662-665 , 2020

Link: https://doi.org/10.1109/..

9

Leveraging the Information Contained in Theory Presentation:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Carette, Jacques ; Farmer, William M. ; Sharoda, Yasmine - p. 55-70 , 2020

Link: https://doi.org/10.1007/..

10

GOOL: a generic object-oriented language:

, In: Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,

Carette, Jacques ; MacLachlan, Brooks ; Smith, Spencer - p. 45-51 , 2020

Link: https://dl.acm.org/doi/1..

11

Mathematical Software – ICMS 2020: 7th International Confer..

Theoretical Computer Science and General Issues, 12097

Bigatti, Anna Maria ; Carette, Jacques ; Davenport, James H.. - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

12

Fractional Types: Expressive and Safe Space Management for ..:

, In: Reversible Computation; Lecture Notes in Computer Science,

Chen, Chao-Hong ; Choudhury, Vikraman ; Carette, Jacques. - p. 169-186 , 2020

Link: https://doi.org/10.1007/..

13

Towards Specifying Symbolic Computation:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Carette, Jacques ; Farmer, William M. - p. 109-124 , 2019

Link: https://doi.org/10.1007/..

14

From high-level inference algorithms to efficient code:

Walia, Rajan ; Narayanan, Praveen ; Carette, Jacques..
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-30 , 2019

Link: https://doi.org/10.1145/..

15

From high-level inference algorithms to efficient code:

Walia, Rajan ; Narayanan, Praveen ; Carette, Jacques..
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-30 , 2019

Link: https://dl.acm.org/doi/1..