BibSonomy :: author  :: Fluet ::

bookmarks

publications

(16)

• Manticore: a heterogeneous parallel language.
  Matthew Fluet and Mike Rainey and John H. Reppy and Adam Shaw and Yingqi Xiao DAMP 37-44 (2007)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Practical Datatype Specializations with Phantom Types and Recursion Schemes
  Matthew Fluet and Riccardo Pucella CoRR abs/cs/0510074 (2005)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Phantom Types and Subtyping
  Matthew Fluet and Riccardo Pucella CoRR cs.PL/0403034 (2004)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Status report: the manticore project.
  Matthew Fluet and Nic Ford and Mike Rainey and John H. Reppy and Adam Shaw and Yingqi Xiao ML 15-24 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• L3: A Linear Language with Locations.
  Amal Ahmed and Matthew Fluet and Greg Morrisett Fundam. Inform. 77 397-449 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• Phantom types and subtyping.
  Matthew Fluet and Riccardo Pucella J. Funct. Program. 16 751-791 (2006)
  to dblp by dblp on 2007-02-20 00:00:00
  | URL | BibTeX  
• Monadic regions.
  Matthew Fluet and Greg Morrisett J. Funct. Program. 16 485-545 (2006)
  to dblp by dblp on 2007-02-20 00:00:00
  | URL | BibTeX  
• Transactional events.
  Kevin Donnelly and Matthew Fluet ICFP 124-135 (2006)
  to dblp by dblp on 2006-09-27 00:00:00
  | URL | BibTeX  
• Practical Datatype Specializations with Phantom Types and Recursion Schemes.
  Matthew Fluet and Riccardo Pucella Electr. Notes Theor. Comput. Sci. 148 211-237 (2006)
  to dblp by dblp on 2006-07-25 00:00:00
  | URL | BibTeX  
• Linear Regions Are All You Need.
  Matthew Fluet and Greg Morrisett and Amal J. Ahmed ESOP 7-21 (2006)
  to dblp by dblp on 2006-04-06 00:00:00
  | URL | BibTeX