GradNova

GradNova

Find faculty who want students like you. Stop guessing — match with the right advisor.

Product

Find Faculty Universities Research Topics Sign In Claim Faculty Profile

Resources

FAQ Blog Contact Us

Legal

Privacy Policy Terms of Service

© 2026 GradNova. All rights reserved.

GradNova is not affiliated with any university. Match scores are AI-generated estimates.

Type Systems for Higher-Order Functional Programming Languages Research Faculty | GradNova

/

/

Type Systems for Higher-Order Functional Programming Languages

Type Systems for Higher-Order Functional Programming Languages

1 faculty research Type Systems for Higher-Order Functional Programming Languages on GradNova.

J

J. Garrett Morris

Assistant Professor Inaugural Emeriti-Faculty Scholar

Computer Science

University of Iowa

Safe Concurrent, Low-Level, and Effectful Programming

Type Systems for Higher-Order Functional Programming Languages

Hydrocarbon Exploration and Reservoir Analysis

Mass Spectrometry Techniques and Applications

+3