Graduate Student, Department of Computer Science
The University of Iowa
Iowa City, IA 52242-1419
- Email: first-name 'hyphen' last-name 'at' uiowa 'dot' edu
- Twitter: @fxdpntthm
Research Interests: I am broadly interested in design and implimentation aspects of functional programming languges (FPL). My current focus is in type systems for FPLs.
Research Keywords: Functional programming, programming language semantics, type theory, static type checkers, logic.
- Partial Type Constructors: Well-kinded types can be semantically bogus eg. Set (Int -> Int). Can we teach Haskell (GHC) type checker to identify such bogus types, also along the way have a Monad instance for the Set datatype? [Code]
- Partial Type Constructors in Practice. Apoorv Ingle, Alex Hubers, J. Garrett Morris, Haskell 2022: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, https://doi.org/10.1145/3546189.3549923
This page was last modified on Thursday, 13-Oct-2022 12:40:04 CDT.