M
Matthew Fluet
Researcher at Rochester Institute of Technology
Publications - 57
Citations - 1109
Matthew Fluet is an academic researcher from Rochester Institute of Technology. The author has contributed to research in topics: Concurrency & Compiler. The author has an hindex of 20, co-authored 57 publications receiving 1033 citations. Previous affiliations of Matthew Fluet include Cornell University & Harvey Mudd College.
Papers
More filters
Book ChapterDOI
L 3 : A Linear Language with Locations
TL;DR: This work presents a simple, but expressive type system that supports strong updates - updating a memory cell to hold values of unrelated types at different points in time.
Journal ArticleDOI
Implicitly threaded parallelism in manticore
TL;DR: This paper focuses on the implicitly threaded parallel constructs of the Parallel ML language, which support fine-grained parallelism, and presents detailed examples utilizing various mechanisms of the language and gives a formal description of the implementation.
Proceedings ArticleDOI
Manticore: a heterogeneous parallel language
TL;DR: Manticore as mentioned in this paper is a parallel programming language that combines CML-style explicit concurrency with NESL/Nepal-style data-parallelism, and supports parallelism at multiple levels.
Book ChapterDOI
Linear regions are all you need
TL;DR: In this article, a core calculus that is powerful enough to encode Tofte-Talpin-like languages, and that eliminates the last-in-first-out (LIFO) restriction, is introduced.
Journal Article
Linear regions are all you need
TL;DR: In this paper, a core calculus that is powerful enough to encode Tofte-Talpin-like languages, and that eliminates the last-in-first-out (LIFO) restriction, is introduced.