×

zbMATH — the first resource for mathematics

Carette, Jacques

Compute Distance To:
Author ID: carette.jacques Recent zbMATH articles by "Carette, Jacques"
Published as: Carette, J.; Carette, Jacques
Documents Indexed: 36 Publications since 2004, including 6 Books

Publications by Year

Citations contained in zbMATH

24 Publications have been cited 62 times in 46 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
10
2009
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. Zbl 1215.68059
Carette, Jacques; Kiselyov, Oleg
5
2011
High-level theories. Zbl 1166.68338
Carette, Jacques; Farmer, William M.
5
2008
Gaussian elimination: a case study in efficient genericity with MetaOCaml. Zbl 1100.68130
Carette, Jacques
5
2006
Understanding expression simplification. Zbl 1134.68596
Carette, Jacques
4
2004
Realms: a structure for consolidating knowledge about mathematical theories. Zbl 1304.68169
Carette, Jacques; Farmer, William M.; Kohlhase, Michael
3
2014
MathScheme: project description. Zbl 1335.68226
Carette, Jacques; Farmer, William M.; O’Connor, Russell
3
2011
A canonical form for piecewise defined functions. Zbl 1190.68086
Carette, Jacques
3
2007
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 06562504
Narayanan, Praveen; Carette, Jacques; Romano, Wren; Shan, Chung-chieh; Zinkov, Robert
2
2016
Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015
Kerber, Manfred (ed.); Carette, Jacques (ed.); Kaliszyk, Cezary (ed.); Rabe, Florian (ed.); Sorge, Volker (ed.)
2
2015
Theory presentation combinators. Zbl 1360.68802
Carette, Jacques; O’Connor, Russell
2
2012
Partial evaluation of Maple. Zbl 1215.68277
Carette, Jacques; Kucera, Michael
2
2011
A review of mathematical knowledge management. Zbl 1247.68266
Carette, Jacques; Farmer, William M.
2
2009
Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628
Carette, Jacques; Janicki, Ryszard
2
2007
Computing properties of numerical imperative programs by symbolic computation. Zbl 1128.68116
Carette, Jacques; Janicki, Ryszard
2
2007
HOL Light QE. Zbl 06946982
Carette, Jacques; Farmer, William M.; Laskowski, Patrick
1
2018
Computing with semirings and weak rig groupoids. Zbl 1335.68048
Carette, Jacques; Sabry, Amr
1
2016
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
Carette, Jacques (ed.); Aspinall, David (ed.); Lange, Christoph (ed.); Sojka, Petr (ed.); Windsteiger, Wolfgang (ed.)
1
2013
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
Jeuring, Johan (ed.); Campbell, John A. (ed.); Carette, Jacques (ed.); Dos Reis, Gabriel (ed.); Sojka, Petr (ed.); Wenzel, Makarius (ed.); Sorge, Volker (ed.)
1
2012
Symbolic domain decomposition. Zbl 1286.68515
Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2010
Hierarchical representations with signatures for large expression management. Zbl 1156.68641
Zhou, Wenqin; Carette, J.; Jeffrey, D. J.; Monagan, M. B.
1
2006
Control-flow semantics for assembly-level data-flow graphs. Zbl 1185.68223
Kahl, Wolfram; Anand, Christopher K.; Carette, Jacques
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
HOL Light QE. Zbl 06946982
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 06562504
Narayanan, Praveen; Carette, Jacques; Romano, Wren; Shan, Chung-chieh; Zinkov, Robert
2
2016
Computing with semirings and weak rig groupoids. Zbl 1335.68048
Carette, Jacques; Sabry, Amr
1
2016
Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015
Kerber, Manfred (ed.); Carette, Jacques (ed.); Kaliszyk, Cezary (ed.); Rabe, Florian (ed.); Sorge, Volker (ed.)
2
2015
Realms: a structure for consolidating knowledge about mathematical theories. Zbl 1304.68169
Carette, Jacques; Farmer, William M.; Kohlhase, Michael
3
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
Carette, Jacques (ed.); Aspinall, David (ed.); Lange, Christoph (ed.); Sojka, Petr (ed.); Windsteiger, Wolfgang (ed.)
1
2013
Theory presentation combinators. Zbl 1360.68802
Carette, Jacques; O’Connor, Russell
2
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
Jeuring, Johan (ed.); Campbell, John A. (ed.); Carette, Jacques (ed.); Dos Reis, Gabriel (ed.); Sojka, Petr (ed.); Wenzel, Makarius (ed.); Sorge, Volker (ed.)
1
2012
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. Zbl 1215.68059
Carette, Jacques; Kiselyov, Oleg
5
2011
MathScheme: project description. Zbl 1335.68226
Carette, Jacques; Farmer, William M.; O’Connor, Russell
3
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
10
2009
A review of mathematical knowledge management. Zbl 1247.68266
Carette, Jacques; Farmer, William M.
2
2009
High-level theories. Zbl 1166.68338
Carette, Jacques; Farmer, William M.
5
2008
A canonical form for piecewise defined functions. Zbl 1190.68086
Carette, Jacques
3
2007
Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628
Carette, Jacques; Janicki, Ryszard
2
2007
Computing properties of numerical imperative programs by symbolic computation. Zbl 1128.68116
Carette, Jacques; Janicki, Ryszard
2
2007
Gaussian elimination: a case study in efficient genericity with MetaOCaml. Zbl 1100.68130
Carette, Jacques
5
2006
Hierarchical representations with signatures for large expression management. Zbl 1156.68641
Zhou, Wenqin; Carette, J.; Jeffrey, D. J.; Monagan, M. B.
1
2006
Control-flow semantics for assembly-level data-flow graphs. Zbl 1185.68223
Kahl, Wolfram; Anand, Christopher K.; Carette, Jacques
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
4
2004
all top 5

Cited by 114 Authors

6 Carette, Jacques
5 Farmer, William M.
4 Kohlhase, Michael
3 Davenport, James Harold
3 Iancu, Mihnea
3 Kiselyov, Oleg
3 Mili, Ali
3 Paulson, Lawrence Charles
3 Shan, Chung-chieh
2 Bridge, James P.
2 England, Matthew
2 Ghardallou, Wided
2 Huang, Zongyan
2 Labed Jilani, Lamia
2 Louhichi, Asma
2 Mraihi, Olfa
2 Naumowicz, Adam
2 Rabe, Florian
2 Wilson, David J.
1 Aharon, Shir
1 Alhazov, Artiom
1 Asai, Kenichi
1 Avigad, Jeremy
1 Axelsen, Holger Bock
1 Axelsson, Emil
1 Bailey, David Harold
1 Bancerek, Grzegorz
1 Belingheri, Omar
1 Blanchette, Jasmin Christian
1 Borgonovo, Emanuele
1 Borwein, Jonathan Michael
1 Brachthäuser, Jonathan Immanuel
1 Bradford, Russell J.
1 Brady, Edwin C.
1 Bsaïes, Khaled
1 Byliński, Czesław
1 Caravantes, Jorge
1 Chen, Xiaoyu
1 Cobb, Andrew
1 Culpepper, Ryan
1 Dehaye, Paul-Olivier
1 Desharnais, Jules
1 Devriese, Dominique
1 Diallo, Nafi
1 Dunchev, Cvetan
1 Elizarov, A. M.
1 Freund, Rudolf
1 Gandhi, Jayna
1 Glück, Robert
1 Gómez-Molleda, Maria de los Ángeles
1 Gonzalez-Vega, Laureano
1 Grabowski, Adam
1 Horst, Christoph
1 Inoue, Jun-Ichiro
1 Ivanov, Sergiu
1 Jeannerod, Claude-Pierre
1 Kaarsgaard, Robin
1 Kahl, Wolfram
1 Kaiser, Alexander D.
1 Kaliszyk, Cezary
1 Kameyama, Yukiyoshi
1 Khan Afshar, Sanaz
1 Kirillovich, Aleksandr Vital’evich
1 Klein, Gerwin
1 Konovalov, Alexander B.
1 Koopman, Pieter
1 Korniłowicz, Artur
1 Kucera, Michael
1 Lelièvre, Samuel
1 Lipachëv, E. K.
1 Madhavapeddy, Anil
1 Matuszewski, Roman
1 Müller, Dennis
1 Nadkarni, Chaitanya
1 Narayanan, Praveen
1 Nevzorova, Ol’ga Avenirovna
1 O’Connor, Russell
1 Ostermann, Klaus
1 Pąk, Karol
1 Peccati, Lorenzo A.
1 Pernet, Clément
1 Pfeiffer, Markus
1 Piessens, Frank
1 Piliszek, Radosław
1 Popescu, Andrei
1 Porreca, Antonio E.
1 Reuter, Jürgen
1 Romano, Wren
1 Sangwin, Christopher J.
1 Schuster, Philipp
1 Sexton, Alan P.
1 Sheets, David
1 Siddique, Umair
1 Slama, Franck
1 Snelting, Gregor
1 Solov’ëv, V. D.
1 Sorge, Volker
1 Staton, Sam
1 Storjohann, Arne
1 Stump, Aaron
...and 14 more Authors

Citations by Year