I am a second-year PhD student working with
Robby Findler at
I am interested in improving the quality of programs.
In particular, my research focuses on automated
testing methods for finding bugs in functional programs.
My interests also include designing and implementing
▹ Find Me
Herbarium Racketensis: a stroll through the
woods (functional pearl) [PDF]
St-Amour, Feltey, Florence, You, Findler
Modular reifiable matching: a list-of-functors approach
to two-level types [PDF]
Oliveira, Mu, You
Haskell Symposium 2015