Search the dblp DataBase

Publications of Author

1. Matthew Fluet, Greg Morrisett, Amal J. Ahmed
   Linear Regions Are All You Need. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:7-21 [Conf]
   
2. Amal J. Ahmed, Matthew Fluet, Greg Morrisett
   A step-indexed model of substructural state. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:78-91 [Conf]
   
3. Matthew Fluet, J. Gregory Morrisett
   Monadic regions. [Citation Graph (0, 0)][DBLP]
   ICFP, 2004, pp:103-114 [Conf]
   
4. Matthew Fluet, Stephen Weeks
   Contification Using Dominators. [Citation Graph (0, 0)][DBLP]
   ICFP, 2001, pp:2-13 [Conf]
   
5. Kevin Donnelly, Matthew Fluet
   Transactional events. [Citation Graph (0, 0)][DBLP]
   ICFP, 2006, pp:124-135 [Conf]
   
6. Matthew Fluet, Riccardo Pucella
   Phantom Types and Subtyping. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2002, pp:448-460 [Conf]
   
7. Greg Morrisett, Amal J. Ahmed, Matthew Fluet
   L³: A Linear Language with Locations. [Citation Graph (0, 0)][DBLP]
   TLCA, 2005, pp:293-307 [Conf]
   
8. Arthur T. Benjamin, Matthew Fluet, Mark L. Huber
   Optimal Token Allocations in Solitaire Knock 'm Down. [Citation Graph (0, 0)][DBLP]
   Electr. J. Comb., 2001, v:8, n:2, pp:- [Journal]
   
9. Matthew Fluet, Riccardo Pucella
   Phantom Types and Subtyping [Citation Graph (0, 0)][DBLP]
   CoRR, 2004, v:0, n:, pp:- [Journal]
   
10. Matthew Fluet, Riccardo Pucella
    Practical Datatype Specializations with Phantom Types and Recursion Schemes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:211-237 [Journal]
    
11. Matthew Fluet, Greg Morrisett
    Monadic regions. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:4-5, pp:485-545 [Journal]
    
12. Matthew Fluet, Riccardo Pucella
    Phantom types and subtyping. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:6, pp:751-791 [Journal]
    
13. Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
    Status report: the manticore project. [Citation Graph (0, 0)][DBLP]
    ML, 2007, pp:15-24 [Conf]
    
14. Amal Ahmed, Matthew Fluet, Greg Morrisett
    L³: A Linear Language with Locations. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:77, n:4, pp:397-449 [Journal]
    
15. 
    A scheduling framework for general-purpose parallel languages. [Citation Graph (, )][DBLP]
    
    
16. 
    Compiling self-adjusting programs with continuations. [Citation Graph (, )][DBLP]
    
    
17. 
    Implicitly-threaded parallelism in Manticore. [Citation Graph (, )][DBLP]
    
    
18. 
    Manticore: a heterogeneous parallel language. [Citation Graph (, )][DBLP]
    
    
19. 
    A cost semantics for self-adjusting computation. [Citation Graph (, )][DBLP]
    
    
20. 
    Speculative N-Way barriers. [Citation Graph (, )][DBLP]
    
    
21. 
    Practical Datatype Specializations with Phantom Types and Recursion Schemes [Citation Graph (, )][DBLP]