Jacques Carette

Cited by

	All	Since 2018
Citations	1466	731
h-index	20	13
i10-index	37	18

160

120

20052006200720082009201020112012201320142015201620172018201920202021202220237 29 35 29 43 73 71 60 69 52 44 87 101 149 110 103 129 118 118

Public access

View all

14 articles

1 article

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, 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
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
Rob ZinkovUniversity of OxfordVerified email at robots.ox.ac.uk
Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
Geneva M. SmithG-ScalE Lab, McMaster UniversityVerified email at mcmaster.ca
Wolfram KahlAssociate Professor, Dept. of Computing and Software, McMaster UniversityVerified email at cas.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	298	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	130	2016
Finally tagless, partially evaluated J Carette, O Kiselyov, CC Shan Asian Symposium on Programming Languages and Systems, 222-238, 2007	68	2007
A kinetic model for the oxidation of silicon germanium alloys MA Rabie, YM Haddara, J Carette Journal of applied physics 98 (7), 2005	57	2005
Understanding expression simplification J Carette Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004	55	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	42	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	38	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	37	2011
Gaussian elimination: A case study in efficient genericity with MetaOCaml J Carette Science of Computer Programming 62 (1), 3-24, 2006	34	2006
Intelligent Computer Mathematics J Carette, L Dixon, CS Coen, SM Watt Lecture Notes in Computer Science 5625, 2009	33*	2009
Computing with semirings and weak rig groupoids J Carette, A Sabry European Symposium on Programming, 123-148, 2016	29	2016
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
A review of mathematical knowledge management J Carette, WM Farmer International Conference on Intelligent Computer Mathematics, 233-246, 2009	28	2009
Simplifying probabilistic programs using computer algebra J Carette, C Shan Practical Aspects of Declarative Languages: 18th International Symposium …, 2016	27	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	26	2018
Formalizing category theory in Agda JZS Hu, J Carette Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021	24	2021
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	22*	2021
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
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	20*	2016
Theory presentation combinators J Carette, R O’Connor International Conference on Intelligent Computer Mathematics, 202-215, 2012	20	2012

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