Jacques Carette
Orcid: 0000-0001-8993-9804
According to our database1,
Jacques Carette
authored at least 85 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., January, 2024
Proceedings of the Reversible Computation - 16th International Conference, 2024
2023
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2023
Proceedings of the Eelco Visser Commemorative Symposium, 2023
Proceedings of the Eelco Visser Commemorative Symposium, 2023
2022
What Lies Beneath - A Survey of Affective Theory Use in Computational Models of Emotion.
IEEE Trans. Affect. Comput., 2022
Adv. Comput., 2022
2021
Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021
Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021
Proceedings of the Joint Proceedings of the AIIDE 2021 Workshops co-located with 17th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2021)(AAAI 2021), 2021
2020
CoRR, 2020
Proceedings of the Reversible Computation - 12th International Conference, 2020
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the IEEE Conference on Games, 2020
2019
Proc. ACM Program. Lang., 2019
CoRR, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019
2018
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018
An empirical comparison of first-person shooter information displays: HUDs, diegetic displays, and spatial representations.
Entertain. Comput., 2018
Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities.
CoRR, 2018
Proceedings of the Reversible Computation - 10th International Conference, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
2017
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
2016
Adv. Eng. Softw., 2016
Proceedings of the Practical Aspects of Declarative Languages, 2016
Proceedings of the International Workshop on Software Engineering for Science, 2016
Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016
Proceedings of the Programming Languages and Systems, 2016
2015
Proceedings of the 3rd ACM Symposium on Spatial User Interaction, 2015
Proceedings of the 3rd ACM Symposium on Spatial User Interaction, 2015
Proceedings of the 2015 IEEE Games Entertainment Media Conference, 2015
Effects of interior bezel size and configuration on gaming performance with large tiled displays.
Proceedings of the 2015 IEEE Games Entertainment Media Conference, 2015
Evaluating the effectiveness of HUDs and diegetic ammo displays in first-person shooter games.
Proceedings of the 2015 IEEE Games Entertainment Media Conference, 2015
Proceedings of the 2015 IEEE Games Entertainment Media Conference, 2015
2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Proceedings of the 2014 IEEE Games Media Entertainment, 2014
Proceedings of the 2014 IEEE Games Media Entertainment, 2014
2012
Proceedings of the 2012 12th International Conference on Quality Software, 2012
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
2011
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code.
Sci. Comput. Program., 2011
<i>Handbook of Practical Logic and Automated Reasoning</i>, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574.
J. Funct. Program., 2011
Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
2009
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.
J. Funct. Program., 2009
Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009
Proceedings of the Intelligent Computer Mathematics, 2009
2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
2007
Fundam. Informaticae, 2007
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007
2006
Sci. Comput. Program., 2006
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006
2005
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005
Proceedings of the 12th Working Conference on Reverse Engineering, 2005
Proceedings of the Relational Methods in Computer Science, 2005
2004
Proceedings of the Symbolic and Algebraic Computation, 2004