Jacques Carette
Jacques Carette
Associate Professor of Computer Science and Software Engineering, McMaster University
Verified email at mcmaster.ca - Homepage
TitleCited byYear
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
249*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
502016
Finally tagless, partially evaluated
J Carette, O Kiselyov, CC Shan
Asian Symposium on Programming Languages and Systems, 222-238, 2007
482007
A kinetic model for the oxidation of silicon germanium alloys
MA Rabie, YM Haddara, J Carette
Journal of applied physics 98 (7), 074904, 2005
432005
Understanding expression simplification
J Carette
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004
392004
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
342005
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
302011
Gaussian elimination: a case study in efficient genericity with MetaOCaml
J Carette
Science of Computer Programming 62 (1), 3-24, 2006
292006
Intelligent Computer Mathematics
J Carette, L Dixon, CS Coen, SM Watt
Lecture Notes in Computer Science 5625, 2009
27*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
262004
A review of mathematical knowledge management
J Carette, WM Farmer
International Conference on Intelligent Computer Mathematics, 233-246, 2009
232009
Control-flow semantics for assembly-level data-flow graphs
W Kahl, CK Anand, J Carette
Relational Methods in Computer Science, 147-160, 2005
222005
High-level theories
J Carette, WM Farmer
International Conference on Intelligent Computer Mathematics, 232-245, 2008
172008
Computing properties of numerical imperative programs by symbolic computation
J Carette, R Janicki
Fundamenta Informaticae 80 (1-3), 125-146, 2007
162007
Simplifying probabilistic programs using computer algebra
J Carette, C Shan
International Symposium on Practical Aspects of Declarative Languages, 135-152, 2016
152016
A canonical form for some piecewise defined functions
J Carette
International Symposium on Symbolic and Algebraic Computation 2007, p. 77--84, 2007
152007
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
142015
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference …
J Jeuring, J Campbell, J Carette, G Dos Reis, P Sojka, M Wenzel, V Sorge
Springer, 2012
14*2012
A generative geometric kernel
J Carette, M Elsheikh, S Smith
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
122011
Computing with semirings and weak rig groupoids
J Carette, A Sabry
European Symposium on Programming, 123-148, 2016
112016
The system can't perform the operation now. Try again later.
Articles 1–20