Edit Profile (opens in new tab) Fluet, Matthew T. Co-Author Distance Author ID: fluet.matthew-t Published as: Fluet, Matthew; Fluet, Matthew T. External Links: MGP Documents Indexed: 19 Publications since 2000 Co-Authors: 15 Co-Authors with 19 Joint Publications 201 Co-Co-Authors all top 5 Co-Authors 0 single-authored 6 Morrisett, Greg 4 Ahmed, Amal 3 Rainey, Mike 3 Reppy, John H. 3 Shaw, Adam 2 Acar, Umut A. 2 Benjamin, Arthur T. 2 Bergström, Lars B. 2 Donnelly, Kevin P. 2 Ley-Wild, Ruy 1 Amsden, Edward 1 Huber, Mark L. 1 Le, Matthew 1 Pucella, Riccardo 1 Weeks, Stephen Serials 5 Journal of Functional Programming 1 American Mathematical Monthly 1 The Electronic Journal of Combinatorics 1 Fundamenta Informaticae Fields 17 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 13 Publications have been cited 37 times in 33 Documents Cited by ▼ Year ▼ Linear regions are all you need. Zbl 1178.68151 Fluet, Matthew; Morrisett, Greg; Ahmed, Amal 5 2006 Transactional events. Zbl 1155.68356 Donnelly, Kevin; Fluet, Matthew 4 2008 \(L^3\): a linear language with locations. Zbl 1121.68021 Ahmed, Amal; Fluet, Matthew; Morrisett, Greg 4 2007 A step-indexed model of substructural state. Zbl 1302.68048 Ahmed, Amal; Fluet, Matthew; Morrisett, Greg 4 2005 Phantom types and subtyping. Zbl 1109.68030 Fluet, Matthew; Pucella, Riccardo 3 2006 \(\text{L}^{3}\): A linear language with locations. Zbl 1112.68341 Morrisett, Greg; Ahmed, Amal; Fluet, Matthew 3 2005 Transactional events. Zbl 1321.68149 Donnelly, Kevin; Fluet, Matthew 3 2006 Lazy tree splitting. Zbl 1323.68063 Bergstrom, Lars; Rainey, Mike; Reppy, John; Shaw, Adam; Fluet, Matthew 3 2010 Implicitly threaded parallelism in Manticore. Zbl 1221.68061 Fluet, Matthew; Rainey, Mike; Reppy, John; Shaw, Adam 3 2010 Monadic regions. Zbl 1122.68020 Fluet, Matthew; Morrisett, Greg 2 2006 Monadic regions. Zbl 1323.68112 Fluet, Matthew; Morrisett, Greg 1 2004 A cost semantics for self-adjusting computation. Zbl 1315.68101 Ley-Wild, Ruy; Acar, Umut A.; Fluet, Matthew 1 2009 Lazy tree splitting. Zbl 1252.68061 Bergstrom, Lars; Fluet, Matthew; Rainey, Mike; Reppy, John; Shaw, Adam 1 2012 Lazy tree splitting. Zbl 1252.68061 Bergstrom, Lars; Fluet, Matthew; Rainey, Mike; Reppy, John; Shaw, Adam 1 2012 Lazy tree splitting. Zbl 1323.68063 Bergstrom, Lars; Rainey, Mike; Reppy, John; Shaw, Adam; Fluet, Matthew 3 2010 Implicitly threaded parallelism in Manticore. Zbl 1221.68061 Fluet, Matthew; Rainey, Mike; Reppy, John; Shaw, Adam 3 2010 A cost semantics for self-adjusting computation. Zbl 1315.68101 Ley-Wild, Ruy; Acar, Umut A.; Fluet, Matthew 1 2009 Transactional events. Zbl 1155.68356 Donnelly, Kevin; Fluet, Matthew 4 2008 \(L^3\): a linear language with locations. Zbl 1121.68021 Ahmed, Amal; Fluet, Matthew; Morrisett, Greg 4 2007 Linear regions are all you need. Zbl 1178.68151 Fluet, Matthew; Morrisett, Greg; Ahmed, Amal 5 2006 Phantom types and subtyping. Zbl 1109.68030 Fluet, Matthew; Pucella, Riccardo 3 2006 Transactional events. Zbl 1321.68149 Donnelly, Kevin; Fluet, Matthew 3 2006 Monadic regions. Zbl 1122.68020 Fluet, Matthew; Morrisett, Greg 2 2006 A step-indexed model of substructural state. Zbl 1302.68048 Ahmed, Amal; Fluet, Matthew; Morrisett, Greg 4 2005 \(\text{L}^{3}\): A linear language with locations. Zbl 1112.68341 Morrisett, Greg; Ahmed, Amal; Fluet, Matthew 3 2005 Monadic regions. Zbl 1323.68112 Fluet, Matthew; Morrisett, Greg 1 2004 all cited Publications top 5 cited Publications all top 5 Cited by 77 Authors 4 Kiselyov, Oleg 2 Acar, Umut A. 2 Fluet, Matthew T. 2 Kameyama, Yukiyoshi 2 Morrisett, Greg 2 Padovani, Luca 2 Pientka, Brigitte 2 Rainey, Mike 2 Shan, Chung-chieh 2 Ziarek, Lukasz 1 Abel, Andreas M. 1 Allais, Guillaume 1 Birkedal, Lars 1 Bliudze, Simon 1 Boudol, Gérard 1 Brachthäuser, Jonathan Immanuel 1 Charguéraud, Arthur 1 Chuang, Cheng-En 1 Cotter, Andrew 1 Devries, Edsko 1 Donnelly, Kevin P. 1 Edelmann, Romain 1 Gan, Edward 1 Gazda, Maciej W. 1 Georges, Aina Linn 1 Goncharov, Sergeĭ Savost’yanovich 1 Hameer, Aliya 1 Hansen, Michael Reichhardt 1 Harris, Tim 1 Hennessy, Matthew C. B. 1 Hoffmann, Jan-Philipp 1 Hudson, Benoît 1 Igarashi, Atsushi 1 Imai, Keigo 1 Iraci, Grant 1 Jagannathan, Suresh 1 Jakšić, Svetlana 1 Kobayashi, Naoki 1 Koutavas, Vasileios 1 Lichtman, Benjamin 1 Liu, Xi 1 Marlow, Simon 1 Marshall, Daniel F. 1 Momigliano, Alberto 1 Montenegro, Manuel 1 Morihata, Akimasa 1 Mossakowski, Till 1 Murawska, Agata 1 Nanevski, Aleksandar 1 Orchard, Dominic A. 1 Ostermann, Klaus 1 Otis, Shawn 1 Paykin, Jennifer 1 Peña, Ricardo 1 Peyton Jones, Simon L. 1 Phan, Anh-Dung 1 Reppy, John H. 1 Rudolph, Johannes 1 Schäfer, Steven 1 Schröder, Lutz 1 Schuster, Philipp 1 Segura, Clara 1 Shaw, Adam 1 Sifakis, Joseph 1 Siqi, Ren 1 Sivaramakrishnan, K. C. 1 Stark, Kathrin 1 Sudo, Yuto 1 Suenaga, Kohei 1 Sumii, Eijiro 1 Thiemann, Peter J. 1 Toman, John 1 Tov, Jesse A. 1 Türkoğlu, Duru 1 Vollmer, Michael 1 Yang, Shaofa 1 Zdancewic, Steve all top 5 Cited in 9 Serials 10 Journal of Functional Programming 2 Information and Computation 2 Journal of Logical and Algebraic Methods in Programming 1 Theoretical Computer Science 1 Science of Computer Programming 1 Formal Aspects of Computing 1 Computational Geometry 1 MSCS. Mathematical Structures in Computer Science 1 Higher-Order and Symbolic Computation Cited in 4 Fields 31 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) 1 Numerical analysis (65-XX) Citations by Year