Jacques Carette

Cited by

	All	Since 2018
Citations	1376	653
h-index	18	13
i10-index	36	17

160

120

20052006200720082009201020112012201320142015201620172018201920202021202220237 29 34 29 42 72 69 57 69 53 43 90 102 149 108 102 136 113 42

Public access

View all

12 articles

2 articles

available

not available

Based on funding mandates

Co-authors

William M. FarmerProfessor of Computer Science and Software Engineering, McMaster UniversityVerified email at mcmaster.ca
Spencer SmithAssociate Professor, Computing and Software Department, McMaster UniversityVerified email at mcmaster.ca
Chung-chieh ShanIndiana UniversityVerified email at indiana.edu
Amr SabryProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Robert J. TeatherAssociate Professor and Director, School of Information Technology, Carleton UniversityVerified email at carleton.ca
Praveen NarayananGoogle, Indiana University, Cornell UniversityVerified email at cornell.edu
Michael KohlhaseInformatik, FAU Erlangen-NürnbergVerified email at fau.de
Florian RabeUniversity Erlangen-NurembergVerified email at fau.de
Christopher Kumar AnandAssociate Professor of Computing and Software, McMaster UniversityVerified email at mcmaster.ca
Volker SorgeProfessor in Document Analysis and Accessibility, University of BirminghamVerified email at cs.bham.ac.uk
Stephen M. WattUniversity of WaterlooVerified email at uwaterloo.ca
Rob ZinkovUniversity of OxfordVerified email at robots.ox.ac.uk
Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
Wolfram KahlAssociate Professor, Dept. of Computing and Software, McMaster UniversityVerified email at cas.mcmaster.ca
Geneva M. SmithG-ScalE Lab, McMaster UniversityVerified email at mcmaster.ca
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerified email at bath.ac.uk
I Scott MacKenzieYork UniversityVerified email at cse.yorku.ca
Mohamed Rabie, PhDTCAD and thermomechanical modeling Engineer, Global FoundriesVerified email at globalfoundries.com
Yaser M. HaddaraMcMaster UniversityVerified email at mcmaster.ca
Chao-Hong ChenIndiana UniversityVerified email at indiana.edu

Jacques Carette

Associate Professor of Computer Science and Software Engineering, McMaster University

Verified email at mcmaster.ca - Homepage

Metaprogramming Mechanized Mathematics Programming Languages Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	281	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	119	2016
Finally tagless, partially evaluated J Carette, O Kiselyov, CC Shan Asian Symposium on Programming Languages and Systems, 222-238, 2007	64	2007
A kinetic model for the oxidation of silicon germanium alloys MA Rabie, YM Haddara, J Carette Journal of applied physics 98 (7), 074904, 2005	56	2005
Understanding expression simplification J Carette Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004	51	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	36	2015
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	35	2005
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	34	2011
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	32	2006
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	29	2004
Computing with semirings and weak rig groupoids J Carette, A Sabry Programming Languages and Systems: 25th European Symposium on Programming …, 2016	28	2016
A review of mathematical knowledge management J Carette, WM Farmer Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th …, 2009	27	2009
Simplifying probabilistic programs using computer algebra J Carette, C Shan Practical Aspects of Declarative Languages: 18th International Symposium …, 2016	26	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	23	2018
Control-flow semantics for assembly-level data-flow graphs W Kahl, CK Anand, J Carette Relational Methods in Computer Science, 147-160, 2005	23	2005
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	21*	2021
Theory presentation combinators J Carette, R O’Connor International Conference on Intelligent Computer Mathematics, 202-215, 2012	20	2012
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	18	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors