Edit Profile Carette, Jacques Compute Distance To: Compute Author ID: carette.jacques Published as: Carette, J.; Carette, Jacques Documents Indexed: 36 Publications since 2004, including 6 Books all top 5 Co-Authors 4 single-authored 11 Farmer, William M. 4 Sorge, Volker 3 Anand, Christopher Kumar 2 Janicki, Ryszard 2 Kahl, Wolfram 2 Kiselyov, Oleg 2 O’Connor, Russell 2 Sabry, Amr 2 Shan, Chung-chieh 2 Sharoda, Yasmine 2 Sojka, Petr 2 Watt, Stephen Michael 2 Wenzel, Makarius 1 Aspinall, David 1 Campbell, John A. 1 Curtis, Andrew Thomas 1 Dixon, Lucas 1 Dos Reis, Gabriel 1 Hutslar, Christian 1 Jeuring, Johan 1 Ji, Xiaoheng 1 Kaliszyk, Cezary 1 Kerber, Manfred 1 Kohlhase, Michael 1 Korobkine, Alexandre 1 Kucera, Michael 1 Lange, Christoph 1 Laskowski, Patrick 1 McCutchan, John 1 Miller, David F. 1 Narayanan, Praveen 1 Rabe, Florian 1 Romano, Wren 1 Sacerdoti Coen, Claudio 1 Sexton, Alan P. 1 Smith, Spencer A. 1 Wiedijk, Freek 1 Windsteiger, Wolfgang 1 Zinkov, Robert all top 5 Serials 4 Lecture Notes in Computer Science 3 Science of Computer Programming 1 Journal of Automated Reasoning 1 Journal of Functional Programming 1 Fundamenta Informaticae 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 33 Computer science (68-XX) 6 General and overarching topics; collections (00-XX) 3 Numerical analysis (65-XX) 2 Information and communication theory, circuits (94-XX) 1 Mathematical logic and foundations (03-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications 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.68158Carette, Jacques; Kiselyov, Oleg; Shan, Chung-Chieh 10 2009 Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code. Zbl 1215.68059Carette, Jacques; Kiselyov, Oleg 5 2011 High-level theories. Zbl 1166.68338Carette, Jacques; Farmer, William M. 5 2008 Gaussian elimination: a case study in efficient genericity with MetaOCaml. Zbl 1100.68130Carette, Jacques 5 2006 Understanding expression simplification. Zbl 1134.68596Carette, Jacques 4 2004 Realms: a structure for consolidating knowledge about mathematical theories. Zbl 1304.68169Carette, Jacques; Farmer, William M.; Kohlhase, Michael 3 2014 MathScheme: project description. Zbl 1335.68226Carette, Jacques; Farmer, William M.; O’Connor, Russell 3 2011 A canonical form for piecewise defined functions. Zbl 1190.68086Carette, Jacques 3 2007 Formalizing mathematical knowledge as a biform theory graph: a case study. Zbl 1367.68299Carette, Jacques; Farmer, William M. 2 2017 Probabilistic inference by program transformation in Hakaru (system description). Zbl 06562504Narayanan, 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.68015Kerber, Manfred (ed.); Carette, Jacques (ed.); Kaliszyk, Cezary (ed.); Rabe, Florian (ed.); Sorge, Volker (ed.) 2 2015 Theory presentation combinators. Zbl 1360.68802Carette, Jacques; O’Connor, Russell 2 2012 Partial evaluation of Maple. Zbl 1215.68277Carette, Jacques; Kucera, Michael 2 2011 A review of mathematical knowledge management. Zbl 1247.68266Carette, Jacques; Farmer, William M. 2 2009 Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628Carette, Jacques; Janicki, Ryszard 2 2007 Computing properties of numerical imperative programs by symbolic computation. Zbl 1128.68116Carette, Jacques; Janicki, Ryszard 2 2007 HOL Light QE. Zbl 06946982Carette, Jacques; Farmer, William M.; Laskowski, Patrick 1 2018 Computing with semirings and weak rig groupoids. Zbl 1335.68048Carette, 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.68008Carette, 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.68013Jeuring, 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.68515Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2010 Hierarchical representations with signatures for large expression management. Zbl 1156.68641Zhou, Wenqin; Carette, J.; Jeffrey, D. J.; Monagan, M. B. 1 2006 Control-flow semantics for assembly-level data-flow graphs. Zbl 1185.68223Kahl, Wolfram; Anand, Christopher K.; Carette, Jacques 1 2006 CoG-PETS: code generation for parameter estimation in time series. Zbl 1344.65017Anand, Christopher Kumar; Carette, Jacques; Curtis, Andrew Thomas; Miller, David 1 2005 HOL Light QE. Zbl 06946982Carette, Jacques; Farmer, William M.; Laskowski, Patrick 1 2018 Formalizing mathematical knowledge as a biform theory graph: a case study. Zbl 1367.68299Carette, Jacques; Farmer, William M. 2 2017 Probabilistic inference by program transformation in Hakaru (system description). Zbl 06562504Narayanan, Praveen; Carette, Jacques; Romano, Wren; Shan, Chung-chieh; Zinkov, Robert 2 2016 Computing with semirings and weak rig groupoids. Zbl 1335.68048Carette, Jacques; Sabry, Amr 1 2016 Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015Kerber, 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.68169Carette, 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.68008Carette, Jacques (ed.); Aspinall, David (ed.); Lange, Christoph (ed.); Sojka, Petr (ed.); Windsteiger, Wolfgang (ed.) 1 2013 Theory presentation combinators. Zbl 1360.68802Carette, 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.68013Jeuring, 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.68059Carette, Jacques; Kiselyov, Oleg 5 2011 MathScheme: project description. Zbl 1335.68226Carette, Jacques; Farmer, William M.; O’Connor, Russell 3 2011 Partial evaluation of Maple. Zbl 1215.68277Carette, Jacques; Kucera, Michael 2 2011 Symbolic domain decomposition. Zbl 1286.68515Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2010 Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. Zbl 1191.68158Carette, Jacques; Kiselyov, Oleg; Shan, Chung-Chieh 10 2009 A review of mathematical knowledge management. Zbl 1247.68266Carette, Jacques; Farmer, William M. 2 2009 High-level theories. Zbl 1166.68338Carette, Jacques; Farmer, William M. 5 2008 A canonical form for piecewise defined functions. Zbl 1190.68086Carette, Jacques 3 2007 Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628Carette, Jacques; Janicki, Ryszard 2 2007 Computing properties of numerical imperative programs by symbolic computation. Zbl 1128.68116Carette, Jacques; Janicki, Ryszard 2 2007 Gaussian elimination: a case study in efficient genericity with MetaOCaml. Zbl 1100.68130Carette, Jacques 5 2006 Hierarchical representations with signatures for large expression management. Zbl 1156.68641Zhou, Wenqin; Carette, J.; Jeffrey, D. J.; Monagan, M. B. 1 2006 Control-flow semantics for assembly-level data-flow graphs. Zbl 1185.68223Kahl, Wolfram; Anand, Christopher K.; Carette, Jacques 1 2006 CoG-PETS: code generation for parameter estimation in time series. Zbl 1344.65017Anand, Christopher Kumar; Carette, Jacques; Curtis, Andrew Thomas; Miller, David 1 2005 Understanding expression simplification. Zbl 1134.68596Carette, Jacques 4 2004 all cited Publications top 5 cited Publications 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 all top 5 Cited in 16 Serials 5 Journal of Functional Programming 3 Journal of Symbolic Computation 3 Journal of Logical and Algebraic Methods in Programming 2 Science of Computer Programming 2 Journal of Automated Reasoning 2 Mathematics in Computer Science 1 Computer Physics Communications 1 Journal of Engineering Mathematics 1 Journal of Computational and Applied Mathematics 1 Information and Computation 1 Annals of Operations Research 1 MSCS. Mathematical Structures in Computer Science 1 Higher-Order and Symbolic Computation 1 Lobachevskii Journal of Mathematics 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures all top 5 Cited in 14 Fields 41 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Numerical analysis (65-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Citations by Year