Edit Profile (opens in new tab) Tanter, Éric Compute Distance To: Compute Author ID: tanter.eric Published as: Tanter, Éric Documents Indexed: 20 Publications since 2001 2 Contributions as Editor Co-Authors: 38 Co-Authors with 21 Joint Publications 287 Co-Co-Authors all top 5 Co-Authors 1 single-authored 4 Noyé, Jacques 4 Tabareau, Nicolas 3 Garcia, Ronald 2 Bañados Schwerter, Felipe 2 Chiba, Shigeru 2 Dagand, Pierre-Evariste 2 Fabry, Johan 2 Toro, Matías 1 Abate, Carmine 1 Aldrich, Jonathan 1 Bader, Johannes 1 Blanco, Roberto 1 Bodden, Eric 1 Bouraqadi-Saâdani, Noury M. N. 1 Ciobâcă, Ştefan 1 Clark, Alison M. 1 De Meuter, Wolfgang 1 Denker, Marcus 1 D’Hondt, Theo 1 Douence, Rémi 1 Ducasse, Stéphane 1 Durier, Adrien 1 Garg, Deepak 1 Hriţcu, Cătălin 1 Kienzle, Jörg 1 Labrada, Elizabeth 1 Leavens, Gary T. 1 Lehmann, Nico 1 Maoz, Shahar 1 Patrignani, Marco 1 Piquer, José Miguel 1 Pothier, Guillaume 1 Scholliers, Christophe 1 Ségura-Devillechaise, Marc 1 Sozeau, Matthieu 1 Südholt, Mario 1 Thibault, Jérémy 1 Toledo, Rodolfo all top 5 Serials 4 Science of Computer Programming 3 Journal of Functional Programming 2 Journal of the ACM 2 Lecture Notes in Computer Science 1 Distributed Computing 1 Computer Languages, Systems & Structures Fields 22 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 12 Publications have been cited 33 times in 19 Documents Cited by ▼ Year ▼ Abstracting gradual typing. Zbl 1347.68081Garcia, Ronald; Clark, Alison M.; Tanter, Éric 12 2016 Gradual refinement types. Zbl 1380.68086Lehmann, Nico; Tanter, Éric 5 2017 A theory of gradual effect systems. Zbl 1345.68037Bañados Schwerter, Felipe; Garcia, Ronald; Tanter, Éric 3 2014 Scoping strategies for distributed aspects. Zbl 1209.68113Tanter, Éric; Fabry, Johan; Douence, Rémi; Noyé, Jacques; Südholt, Mario 2 2010 Altering Java semantics via bytecode manipulation. Zbl 1028.68901Tanter, Éric; Ségura-Devillechaise, Marc; Noyé, Jacques; Piquer, José 2 2002 A gradual interpretation of union types. Zbl 1420.68029Toro, Matías; Tanter, Éric 2 2017 Foundations of dependent interoperability. Zbl 1476.68051Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, Éric 2 2018 Gradual program verification. Zbl 1446.68087Bader, Johannes; Aldrich, Jonathan; Tanter, Éric 1 2018 Runtime bytecode transformation for Smalltalk. Zbl 1102.68435Denker, Marcus; Ducasse, Stéphane; Tanter, Éric 1 2006 Reflex – towards an open reflective extension of Java. Zbl 1038.68885Tanter, Éric; Bouraqadi-Saâdani, Noury M. N.; Noyé, Jacques 1 2001 Partial type equivalences for verified dependent interoperability. Zbl 1360.68322Dagand, Pierre-Evariste; Tabareau, Nicolas; Tanter, Éric 1 2016 Gradual type-and-effect systems. Zbl 1420.68033Bañados Schwerter, Felipe; Garcia, Ronald; Tanter, Éric 1 2016 Foundations of dependent interoperability. Zbl 1476.68051Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, Éric 2 2018 Gradual program verification. Zbl 1446.68087Bader, Johannes; Aldrich, Jonathan; Tanter, Éric 1 2018 Gradual refinement types. Zbl 1380.68086Lehmann, Nico; Tanter, Éric 5 2017 A gradual interpretation of union types. Zbl 1420.68029Toro, Matías; Tanter, Éric 2 2017 Abstracting gradual typing. Zbl 1347.68081Garcia, Ronald; Clark, Alison M.; Tanter, Éric 12 2016 Partial type equivalences for verified dependent interoperability. Zbl 1360.68322Dagand, Pierre-Evariste; Tabareau, Nicolas; Tanter, Éric 1 2016 Gradual type-and-effect systems. Zbl 1420.68033Bañados Schwerter, Felipe; Garcia, Ronald; Tanter, Éric 1 2016 A theory of gradual effect systems. Zbl 1345.68037Bañados Schwerter, Felipe; Garcia, Ronald; Tanter, Éric 3 2014 Scoping strategies for distributed aspects. Zbl 1209.68113Tanter, Éric; Fabry, Johan; Douence, Rémi; Noyé, Jacques; Südholt, Mario 2 2010 Runtime bytecode transformation for Smalltalk. Zbl 1102.68435Denker, Marcus; Ducasse, Stéphane; Tanter, Éric 1 2006 Altering Java semantics via bytecode manipulation. Zbl 1028.68901Tanter, Éric; Ségura-Devillechaise, Marc; Noyé, Jacques; Piquer, José 2 2002 Reflex – towards an open reflective extension of Java. Zbl 1038.68885Tanter, Éric; Bouraqadi-Saâdani, Noury M. N.; Noyé, Jacques 1 2001 all cited Publications top 5 cited Publications all top 5 Cited by 43 Authors 5 Tanter, Éric 3 New, Max S. 2 Ducasse, Stéphane 2 Licata, Daniel R. 2 Tabareau, Nicolas 1 Ahmed, Amal 1 Ângelo, Pedro 1 Bañados Schwerter, Felipe 1 Bergel, Alexandre 1 Campora, John Peter III 1 Chen, Sheng 1 Chen, Tianyu 1 Dagand, Pierre-Evariste 1 Darais, David 1 del Carmen González Huesca, Lourdes 1 Denker, Marcus 1 Devriese, Dominique 1 Douence, Rémi 1 Erwig, Martin 1 Fabry, Johan 1 Felleisen, Matthias 1 Feltey, Daniel 1 Findler, Robert Bruce 1 Florido, Mário 1 Garcia, Ronald 1 Greenman, Ben 1 Kura, Satoshi 1 Mooij, Arjan J. 1 Noyé, Jacques 1 Ortega-Arjona, Jorge Luis 1 Piessens, Frank 1 Pulido, Karla Ramírez 1 Review, A. Systematic 1 Schärli, Nathanael 1 Siek, Jeremy G. 1 Südholt, Mario 1 Takikawa, Asumu 1 Van Strydonck, Thomas 1 VanHorn, David A. 1 Vitek, Jan 1 Vraný, Jan 1 Walkingshaw, Eric 1 Wuyts, Roel all top 5 Cited in 7 Serials 8 Journal of Functional Programming 2 Computer Languages, Systems & Structures 1 Information Processing Letters 1 Science of Computer Programming 1 Distributed Computing 1 Higher-Order and Symbolic Computation 1 Logical Methods in Computer Science Cited in 4 Fields 19 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) Citations by Year