GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

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