Jacques Carette

Cited by

	All	Since 2020
Citations	1685	669
h-index	21	12
i10-index	42	16

160

120

2005200620072008200920102011201220132014201520162017201820192020202120222023202420257 29 40 26 43 72 72 61 71 53 44 89 105 149 125 106 127 129 140 154 11

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Spencer SmithAssociate Professor, Computing and Software Department, McMaster UniversityVerified email at mcmaster.ca
William M. FarmerProfessor of Computer Science and Software Engineering, 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 & Director, School of Information Technology, Carleton UniversityVerified email at carleton.ca
Michael KohlhaseInformatik, FAU Erlangen-NürnbergVerified email at fau.de
Praveen NarayananGoogle, Indiana University, Cornell UniversityVerified email at cornell.edu
Florian RabeUniversity Erlangen-NurembergVerified email at fau.de
Volker SorgeProfessor in Document Analysis and Accessibility, University of BirminghamVerified email at cs.bham.ac.uk
Christopher Kumar AnandAssociate Professor of Computing and Software, McMaster UniversityVerified email at mcmaster.ca
Stephen M. WattUniversity of WaterlooVerified email at uwaterloo.ca
Geneva M. SmithUniversity of WaterlooVerified email at uwaterloo.ca
Rob ZinkovUniversity of OxfordVerified email at robots.ox.ac.uk
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerified email at bath.ac.uk
Wolfram KahlAssociate Professor, Dept. of Computing and Software, McMaster UniversityVerified email at cas.mcmaster.ca
Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
I Scott MacKenzieYork UniversityVerified email at cse.yorku.ca
Mohamed Rabie, PhDTCAD Engineer, IBMVerified email at globalfoundries.com
Yaser M. HaddaraMcMaster UniversityVerified email at mcmaster.ca
Jason Z. S. Huapplied scientist, Amazon Web ServicesVerified email at amazon.com

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	319	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	158	2016
Finally tagless, partially evaluated J Carette, O Kiselyov, CC Shan Asian Symposium on Programming Languages and Systems, 222-238, 2007	73	2007
Understanding expression simplification J Carette Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004	60	2004
A kinetic model for the oxidation of silicon germanium alloys MA Rabie, YM Haddara, J Carette Journal of applied physics 98 (7), 2005	58	2005
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	48	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	41	2011
Formalizing category theory in Agda JZS Hu, J Carette Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021	39	2021
Gaussian elimination: A case study in efficient genericity with MetaOCaml J Carette Science of Computer Programming 62 (1), 3-24, 2006	37	2006
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	37	2005
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	34	2018
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	33*	2021
Computing with semirings and weak rig groupoids J Carette, A Sabry European Symposium on Programming, 123-148, 2016	32	2016
A review of mathematical knowledge management J Carette, WM Farmer International Conference on Intelligent Computer Mathematics, 233-246, 2009	32	2009
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	31	2004
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	25	2016
Theory presentation combinators J Carette, R O’Connor International Conference on Intelligent Computer Mathematics, 202-215, 2012	22	2012
Control-flow semantics for assembly-level data-flow graphs W Kahl, CK Anand, J Carette Relational Methods in Computer Science, 147-160, 2005	22	2005

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