Jacques Carette
Jacques Carette
Associate Professor of Computer Science and Software Engineering, McMaster University
Verified email at - Homepage
Cited by
Cited by
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
J Carette, O Kiselyov, C Shan
Journal of Functional Programming 19 (5), 509-543, 2009
Probabilistic Inference by Program Transformation in Hakaru (System Description)
P Narayanan, J Carette, W Romano, CS Shan, R Zinkov
Functional and Logic Programming 9613, 62-79, 2016
Finally tagless, partially evaluated
J Carette, O Kiselyov, CC Shan
Asian Symposium on Programming Languages and Systems, 222-238, 2007
A kinetic model for the oxidation of silicon germanium alloys
MA Rabie, YM Haddara, J Carette
Journal of applied physics 98 (7), 2005
Understanding expression simplification
J Carette
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004
Evaluating the effectiveness of HUDs and diegetic ammo displays in first-person shooter games
M Peacocke, RJ Teather, J Carette, IS MacKenzie
2015 IEEE Games Entertainment Media Conference (GEM), 1-8, 2015
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code
J Carette, O Kiselyov
Science of Computer Programming 76 (5), 349-375, 2011
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code
J Carette, O Kiselyov
International Conference on Generative Programming and Component Engineering …, 2005
Gaussian elimination: A case study in efficient genericity with MetaOCaml
J Carette
Science of Computer Programming 62 (1), 3-24, 2006
Formalizing category theory in Agda
JZS Hu, J Carette
Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021
A review of mathematical knowledge management
J Carette, WM Farmer
International Conference on Intelligent Computer Mathematics, 233-246, 2009
Intelligent Computer Mathematics
J Carette, L Dixon, CS Coen, SM Watt
Lecture Notes in Computer Science 5625, 2009
Telescoping in the context of symbolic summation in Maple
SA Abramov, JJ Carette, KO Geddes, HQ Le
Journal of Symbolic Computation 38 (4), 1303-1326, 2004
Computing with semirings and weak rig groupoids
J Carette, A Sabry
European Symposium on Programming, 123-148, 2016
Big math and the one-brain barrier: The tetrapod model of mathematical knowledge
J Carette, WM Farmer, M Kohlhase, F Rabe
The Mathematical Intelligencer 43, 78-87, 2021
Simplifying probabilistic programs using computer algebra
J Carette, C Shan
Practical Aspects of Declarative Languages: 18th International Symposium …, 2016
An empirical comparison of first-person shooter information displays: HUDs, diegetic displays, and spatial representations
M Peacocke, RJ Teather, J Carette, IS MacKenzie, V McArthur
Entertainment computing 26, 41-58, 2018
Control-flow semantics for assembly-level data-flow graphs
W Kahl, CK Anand, J Carette
Relational Methods in Computer Science, 147-160, 2005
Position paper: A knowledge-based approach to scientific software development
D Szymczak, S Smith, J Carette
2016 IEEE/ACM International Workshop on Software Engineering for Science …, 2016
Theory presentation combinators
J Carette, R O’Connor
International Conference on Intelligent Computer Mathematics, 202-215, 2012
The system can't perform the operation now. Try again later.
Articles 1–20