Ashton Wiersdorf

Registered user since Sun 23 Jun 2024

Name:Ashton Wiersdorf
Bio:

I am a PhD student at the University of Utah where I started in August 2022. My advisor is Ben Greenman. My current work focuses on macro and type systems: how can we extend languages with macros, and how can we get better guarantees about the behavior of our programs with types? See my home page for more.

Country:United States
Affiliation:University of Utah
Personal website: https://lambdaland.org/
Research interests:Programming Languages

Contributions