Ben Greenman

My contribution: reflections on how to measure the cost of soundness for gradual types #g-rep-2023" target="_blank" rel="nofollow noopener">cs.utah.edu/~blg/publicati… (1st draft submitted from the @plumlab , thanks for the space!!!)

Thanks ACM-REP'23 for a great event! So good to talk about replicability, benchmarks, and experimental methods with folks outside my regular PL neighborhood! acm-rep.github.io/2023/

Data craftsman & apprentice. Thanks @rs_datascience !!

Summer research opportunity for US undergrads: treu.cs.utah.edu

@flavorjones @ChrisGSeaton What a blow. Hope he's found peace. 😰

I'm heartbroken to share this news about our dear friend and colleague, @ChrisGSeaton.

@neural_circus (1) I had a dream where I talked to you on a bus (2) I'm in Delmar now (3) wanna hang out?

Great time @cufpconference 2015! #applicative_functor