×
Author ID: carette.jacques Recent zbMATH articles by "Carette, Jacques"
Published as: Carette, Jacques

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 92 times in 71 Documents Cited by Year
Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. Zbl 1191.68158
Carette, Jacques; Kiselyov, Oleg; Shan, Chung-Chieh
16
2009
Understanding expression simplification. Zbl 1134.68596
Carette, Jacques
9
2004
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. Zbl 1215.68059
Carette, Jacques; Kiselyov, Oleg
7
2011
Realms: a structure for consolidating knowledge about mathematical theories. Zbl 1304.68169
Carette, Jacques; Farmer, William M.; Kohlhase, Michael
7
2014
Probabilistic inference by program transformation in Hakaru (system description). Zbl 1475.68072
Narayanan, Praveen; Carette, Jacques; Romano, Wren; Shan, Chung-chieh; Zinkov, Robert
7
2016
Gaussian elimination: a case study in efficient genericity with MetaOCaml. Zbl 1100.68130
Carette, Jacques
6
2006
High-level theories. Zbl 1166.68338
Carette, Jacques; Farmer, William M.
6
2008
MathScheme: project description. Zbl 1335.68226
Carette, Jacques; Farmer, William M.; O’Connor, Russell
4
2011
Theory presentation combinators. Zbl 1360.68802
Carette, Jacques; O’Connor, Russell
4
2012
A canonical form for piecewise defined functions. Zbl 1190.68086
Carette, Jacques
4
2007
A review of mathematical knowledge management. Zbl 1247.68266
Carette, Jacques; Farmer, William M.
3
2009
Partial evaluation of Maple. Zbl 1215.68277
Carette, Jacques; Kucera, Michael
2
2011
Computing with semirings and weak rig groupoids. Zbl 1335.68048
Carette, Jacques; Sabry, Amr
2
2016
Formalizing mathematical knowledge as a biform theory graph: a case study. Zbl 1367.68299
Carette, Jacques; Farmer, William M.
2
2017
Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015
2
2015
Leveraging the information contained in theory presentations. Zbl 1455.68255
Carette, Jacques; Farmer, William M.; Sharoda, Yasmine
2
2020
Control-flow semantics for assembly-level data-flow graphs. Zbl 1185.68223
Kahl, Wolfram; Anand, Christopher K.; Carette, Jacques
1
2006
Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628
Carette, Jacques; Janicki, Ryszard
1
2007
CoG-PETS: code generation for parameter estimation in time series. Zbl 1344.65017
Anand, Christopher Kumar; Carette, Jacques; Curtis, Andrew Thomas; Miller, David
1
2005
Hierarchical representations with signatures for large expression management. Zbl 1156.68641
Zhou, Wenqin; Carette, J.; Jeffrey, D. J.; Monagan, M. B.
1
2006
A rational reconstruction of a system for experimental mathematics. Zbl 1202.68374
Carette, Jacques; Farmer, William M.; Sorge, Volker
1
2007
Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Zbl 1245.68013
1
2012
Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Zbl 1268.68008
1
2013
Symbolic domain decomposition. Zbl 1286.68515
Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2010
Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge. Zbl 1493.68391
Carette, Jacques; Farmer, William M.; Kohlhase, Michael; Rabe, Florian
1
2021
HOL Light QE. Zbl 1511.68307
Carette, Jacques; Farmer, William M.; Laskowski, Patrick
1
2018
Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge. Zbl 1493.68391
Carette, Jacques; Farmer, William M.; Kohlhase, Michael; Rabe, Florian
1
2021
Leveraging the information contained in theory presentations. Zbl 1455.68255
Carette, Jacques; Farmer, William M.; Sharoda, Yasmine
2
2020
HOL Light QE. Zbl 1511.68307
Carette, Jacques; Farmer, William M.; Laskowski, Patrick
1
2018
Formalizing mathematical knowledge as a biform theory graph: a case study. Zbl 1367.68299
Carette, Jacques; Farmer, William M.
2
2017
Probabilistic inference by program transformation in Hakaru (system description). Zbl 1475.68072
Narayanan, Praveen; Carette, Jacques; Romano, Wren; Shan, Chung-chieh; Zinkov, Robert
7
2016
Computing with semirings and weak rig groupoids. Zbl 1335.68048
Carette, Jacques; Sabry, Amr
2
2016
Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015
2
2015
Realms: a structure for consolidating knowledge about mathematical theories. Zbl 1304.68169
Carette, Jacques; Farmer, William M.; Kohlhase, Michael
7
2014
Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Zbl 1268.68008
1
2013
Theory presentation combinators. Zbl 1360.68802
Carette, Jacques; O’Connor, Russell
4
2012
Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Zbl 1245.68013
1
2012
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. Zbl 1215.68059
Carette, Jacques; Kiselyov, Oleg
7
2011
MathScheme: project description. Zbl 1335.68226
Carette, Jacques; Farmer, William M.; O’Connor, Russell
4
2011
Partial evaluation of Maple. Zbl 1215.68277
Carette, Jacques; Kucera, Michael
2
2011
Symbolic domain decomposition. Zbl 1286.68515
Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2010
Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. Zbl 1191.68158
Carette, Jacques; Kiselyov, Oleg; Shan, Chung-Chieh
16
2009
A review of mathematical knowledge management. Zbl 1247.68266
Carette, Jacques; Farmer, William M.
3
2009
High-level theories. Zbl 1166.68338
Carette, Jacques; Farmer, William M.
6
2008
A canonical form for piecewise defined functions. Zbl 1190.68086
Carette, Jacques
4
2007
Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628
Carette, Jacques; Janicki, Ryszard
1
2007
A rational reconstruction of a system for experimental mathematics. Zbl 1202.68374
Carette, Jacques; Farmer, William M.; Sorge, Volker
1
2007
Gaussian elimination: a case study in efficient genericity with MetaOCaml. Zbl 1100.68130
Carette, Jacques
6
2006
Control-flow semantics for assembly-level data-flow graphs. Zbl 1185.68223
Kahl, Wolfram; Anand, Christopher K.; Carette, Jacques
1
2006
Hierarchical representations with signatures for large expression management. Zbl 1156.68641
Zhou, Wenqin; Carette, J.; Jeffrey, D. J.; Monagan, M. B.
1
2006
CoG-PETS: code generation for parameter estimation in time series. Zbl 1344.65017
Anand, Christopher Kumar; Carette, Jacques; Curtis, Andrew Thomas; Miller, David
1
2005
Understanding expression simplification. Zbl 1134.68596
Carette, Jacques
9
2004
all top 5

Cited by 152 Authors

9 Carette, Jacques
6 Farmer, William M.
5 England, Matthew
5 Kohlhase, Michael
5 Rabe, Florian
4 Davenport, James Harold
4 Kiselyov, Oleg
3 Iancu, Mihnea
3 Kameyama, Yukiyoshi
3 Müller, Dennis
3 Paulson, Lawrence Charles
3 Shan, Chung-chieh
2 Bridge, James P.
2 Florescu, Dorian
2 Huang, Zongyan
2 Kaarsgaard, Robin
2 Kirillovich, Aleksandr Vital’evich
2 Lipachëv, E. K.
2 Naumowicz, Adam
2 Nevzorova, Ol’ga Avenirovna
2 O’Connor, Russell
2 Staton, Sam
2 Wilson, David J.
1 Alhazov, Artiom
1 Asai, Kenichi
1 Avigad, Jeremy
1 Axelsen, Holger Bock
1 Axelsson, Emil
1 Bailey, David Harold
1 Bancerek, Grzegorz
1 Bartocci, Ezio
1 Belingheri, Omar
1 Blanchette, Jasmin Christian
1 Borgonovo, Emanuele
1 Borwein, Jonathan Michael
1 Botta, Nicola
1 Brachthäuser, Jonathan Immanuel
1 Bradford, Russell J.
1 Brady, Edwin C.
1 Brede, Nuria
1 Bsaïes, Khaled
1 Bura, Efstathia
1 Byliński, Czesław
1 Caravantes, Jorge
1 Chen, Chao-Hong
1 Chen, Mingshuai
1 Chen, Xiaoyu
1 Cheney, James
1 Choudhury, Vikraman
1 Cobb, Andrew
1 Cohen, Kelly
1 Culpepper, Ryan
1 Dash, Swaraj
1 de Vilhena, Paulo Emílio
1 Dehaye, Paul-Olivier
1 del Río Almajano, Tereso
1 Devriese, Dominique
1 Dunchev, Cvetan
1 Dutta, Saikat
1 Elizarov, A. M.
1 Freund, Rudolf
1 Gandhi, Jayna
1 Ghardallou, Wided
1 Glück, Robert
1 Gómez-Molleda, Maria de los Ángeles
1 Gonzalez-Vega, Laureano
1 Grabowski, Adam
1 Hamel, Emma
1 Henglein, Fritz
1 Horst, Christoph
1 Huang, Zixin
1 Inoue, Jun-Ichiro
1 Ivanov, Sergiu
1 Jansson, Patrik
1 Jeannerod, Claude-Pierre
1 Kahl, Wolfram
1 Kaiser, Alexander D.
1 Kaliszyk, Cezary
1 Kani, Nickvash
1 Karimi, Ahmad
1 Katoen, Joost-Pieter
1 Khan Afshar, Sanaz
1 Klein, Gerwin
1 Klinkenberg, Lutz
1 Konovalov, Olexandr
1 Koopman, Pieter
1 Korniłowicz, Artur
1 Kovács, Laura Ildikó
1 Kucera, Michael
1 Labed Jilani, Lamia
1 Lelièvre, Samuel
1 Louhichi, Asma
1 Lubbers, Mart
1 Madhavapeddy, Anil
1 Masuda, Masahiro
1 Mathiesen, Mikkel Kragh
1 Matuszewski, Roman
1 Mili, Ali
1 Misailovic, Sasa
1 Moosbrugger, Marcel
...and 52 more Authors

Citations by Year