Jacques Carette

Citée par

	Toutes	Depuis 2019
Citations	1639	749
indice h	21	13
indice i10	40	20

160

120

200520062007200820092010201120122013201420152016201720182019202020212022202320247 29 40 26 43 71 73 61 71 53 44 89 105 149 125 106 126 128 131 130

Accès public

Tout afficher

14 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Spencer SmithAssociate Professor, Computing and Software Department, McMaster UniversityAdresse e-mail validée de mcmaster.ca
William M. FarmerProfessor of Computer Science and Software Engineering, McMaster UniversityAdresse e-mail validée de mcmaster.ca
Chung-chieh ShanIndiana UniversityAdresse e-mail validée de indiana.edu
Amr SabryProfessor of Computer Science, Indiana UniversityAdresse e-mail validée de indiana.edu
Robert J. TeatherAssociate Professor & Director, School of Information Technology, Carleton UniversityAdresse e-mail validée de carleton.ca
Michael KohlhaseInformatik, FAU Erlangen-NürnbergAdresse e-mail validée de fau.de
Florian RabeUniversity Erlangen-NurembergAdresse e-mail validée de fau.de
Praveen NarayananGoogle, Indiana University, Cornell UniversityAdresse e-mail validée de cornell.edu
Volker SorgeProfessor in Document Analysis and Accessibility, University of BirminghamAdresse e-mail validée de cs.bham.ac.uk
Christopher Kumar AnandAssociate Professor of Computing and Software, McMaster UniversityAdresse e-mail validée de mcmaster.ca
Stephen M. WattUniversity of WaterlooAdresse e-mail validée de uwaterloo.ca
Rob ZinkovUniversity of OxfordAdresse e-mail validée de robots.ox.ac.uk
Geneva M. SmithPh.D. Graduate, McMaster UniversityAdresse e-mail validée de uwaterloo.ca
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSAdresse e-mail validée de bath.ac.uk
Wolfram KahlAssociate Professor, Dept. of Computing and Software, McMaster UniversityAdresse e-mail validée de cas.mcmaster.ca
Claudio Sacerdoti CoenUniversity of BolognaAdresse e-mail validée de unibo.it
I Scott MacKenzieYork UniversityAdresse e-mail validée de cse.yorku.ca
Mohamed Rabie, PhDTCAD Engineer, IBMAdresse e-mail validée de globalfoundries.com
Yaser M. HaddaraMcMaster UniversityAdresse e-mail validée de mcmaster.ca
Jason Z. S. HuPhD student, McGill UniversityAdresse e-mail validée de mail.mcgill.ca

Suivre

Jacques Carette

Associate Professor of Computer Science and Software Engineering, McMaster University

Adresse e-mail validée de mcmaster.ca - Page d'accueil

Metaprogramming Mechanized Mathematics Programming Languages Software Engineering


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	312	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	152	2016
Finally tagless, partially evaluated J Carette, O Kiselyov, CC Shan Asian Symposium on Programming Languages and Systems, 222-238, 2007	70	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	47	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	40	2011
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
Formalizing category theory in Agda JZS Hu, J Carette Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021	35	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	33*	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	32	2018
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	26*	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs