GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Type and Effect Systems

Type and Effect Systems

1 faculty research Type and Effect Systems on GradNova.

C
Colin Gordon

Associate Professor & Associate Department Head for Undergraduate Affairs, Computer Science

Computer Science

Drexel University

Computational Linguistics
Program Verification for Operating System Kernels
Programming Languages and Formal Methods
Type and Effect Systems
+5