متابعة
Jacques Carette
Jacques Carette
Associate Professor of Computer Science and Software Engineering, McMaster University
بريد إلكتروني تم التحقق منه على mcmaster.ca - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
3222009
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‏
1592016
Finally tagless, partially evaluated‏
J Carette, O Kiselyov, CC Shan‏
Asian Symposium on Programming Languages and Systems, 222-238, 2007‏
712007
Understanding expression simplification‏
J Carette‏
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004‏
602004
A kinetic model for the oxidation of silicon germanium alloys‏
MA Rabie, YM Haddara, J Carette‏
Journal of applied physics 98 (7), 2005‏
582005
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‏
462015
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‏
412011
Formalizing category theory in Agda‏
JZS Hu, J Carette‏
Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021‏
392021
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‏
372005
Gaussian Elimination: A case study in efficient genericity with MetaOCaml‏
J Carette‏
Science of Computer Programming 62 (1), 3-24, 2006‏
362006
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‏
35*2021
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‏
352018
Computing with semirings and weak rig groupoids‏
J Carette, A Sabry‏
European Symposium on Programming, 123-148, 2016‏
322016
A review of mathematical knowledge management‏
J Carette, WM Farmer‏
International Conference on Intelligent Computer Mathematics, 233-246, 2009‏
322009
Intelligent Computer Mathematics‏
J Carette, L Dixon, CS Coen, SM Watt‏
Lecture Notes in Computer Science 5625, 2009‏
32*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‏
312004
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‏
27*2016
Simplifying probabilistic programs using computer algebra‏
J Carette, C Shan‏
Practical Aspects of Declarative Languages: 18th International Symposium …, 2016‏
262016
Theory presentation combinators‏
J Carette, R O’Connor‏
International Conference on Intelligent Computer Mathematics, 202-215, 2012‏
232012
Control-flow semantics for assembly-level data-flow graphs‏
W Kahl, CK Anand, J Carette‏
Relational Methods in Computer Science, 147-160, 2005‏
232005
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20