معرفی
J. Garrett Morris is a researcher and teacher at the University of Iowa's Department of Computer Science, with previous affiliation to the University of Kansas. His work focuses on programming languages, type systems, and formal verification.
- Active contributor to conferences like POPL, ICFP, and Haskell
- Recognized for research in session types, linear logic, and functional programming
His publications span topics including Exceptional Asynchronous Session Types, Partial Type Constructors, and Constrained Type Families. While no specific awards or students are mentioned in the scraped data, his academic activities include committee roles and keynote sessions.
۰مقاله منتشرشده
