×
Author ID: fluet.matthew-t Recent zbMATH articles by "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

Publications by Year

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

Citations by Year