Volgen
Jacques Carette
Jacques Carette
Associate Professor of Computer Science and Software Engineering, McMaster University
Geverifieerd e-mailadres voor mcmaster.ca - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
2792009
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
1162016
Finally tagless, partially evaluated
J Carette, O Kiselyov, CC Shan
Asian Symposium on Programming Languages and Systems, 222-238, 2007
642007
A kinetic model for the oxidation of silicon germanium alloys
MA Rabie, YM Haddara, J Carette
Journal of applied physics 98 (7), 074904, 2005
562005
Understanding expression simplification
J Carette
Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004
512004
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
362015
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
352005
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
332011
Intelligent Computer Mathematics
J Carette, L Dixon, CS Coen, SM Watt
Lecture Notes in Computer Science 5625, 2009
33*2009
Gaussian elimination: A case study in efficient genericity with MetaOCaml
J Carette
Science of Computer Programming 62 (1), 3-24, 2006
322006
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
292004
Computing with semirings and weak rig groupoids
J Carette, A Sabry
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
272016
Simplifying probabilistic programs using computer algebra
J Carette, C Shan
Practical Aspects of Declarative Languages: 18th International Symposium …, 2016
262016
A review of mathematical knowledge management
J Carette, WM Farmer
Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th …, 2009
262009
Control-flow semantics for assembly-level data-flow graphs
W Kahl, CK Anand, J Carette
Relational Methods in Computer Science, 147-160, 2005
232005
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
222018
Theory presentation combinators
J Carette, R O’Connor
International Conference on Intelligent Computer Mathematics, 202-215, 2012
202012
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
19*2021
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
18*2016
Realms: a structure for consolidating knowledge about mathematical theories
J Carette, WM Farmer, M Kohlhase
Intelligent Computer Mathematics: International Conference, CICM 2014 …, 2014
182014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20