Registered user since Wed 31 Aug 2016

Name: Stefan K. Muller

Affiliation: Carnegie Mellon University

Personal website: http://www.cs.cmu.edu/~smuller/

Research interests: Type Systems, Parallelism, Resource Analysis

Contributions