The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Matthew Fluet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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
    L3: 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
    L3: 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]


Search in 1.653secs, Finished in 1.654secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002