Registered user since Wed 31 Aug 2016
Name:Stefan K. Muller
Affiliation:Carnegie Mellon University, USA
Personal website: http://www.cs.cmu.edu/~smuller/
Research interests:Type Systems, Parallelism, Resource Analysis
Contributions
ICFP 2020-profile
View general profile
View general profile