GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Safe Concurrent, Low-Level, and Effectful Programming

Safe Concurrent, Low-Level, and Effectful Programming

1 faculty research Safe Concurrent, Low-Level, and Effectful Programming 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