GradNova

Type Theory

2 faculty research Type Theory on GradNova.

N

Assistant Professor

Computer Science

University of Toronto

Functional Programming

Language Design

+9

P

Computer Science

University of South Carolina

Programming Languages for Quantum Circuits

Programming Verification

Quantum Programming Languages

Type System Design for Quantum Computing

+6