Computer Science - 2025 | Golisano College of Computing and Information Sciences

Faculty Scholarship 2025

Computer Science

To view listing from a different department, select department name from the right.

Matthew Fluet

Associate Professor
Computer Science
Golisano College of Computing and Information Sciences

2025 Submissions

Published Conference Proceedings

Wu, Dongyu and Matthew Fluet. "A Preliminary Type- and Control-Flow Analysis for System Fω." Proceedings of the 25th International Symposium on Trends in Functional Programming (TFP'24); January 10–12, 2024; South Orange, NJ, USA. Ed. Jason Hemann and Stephen Chang. Cham, Switzerland: Springer Nature Switzerland, 2025. Print. *

View All Submissions