![Stefan K. Muller](https://icfp20.sigplan.org/getProfileImage/stefankmuller/07fb8a2c-28b8-4941-87aa-9c5b6623d5d2/small.jpg?1711502433000)
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